steep 1.6.0 → 1.7.0.dev.1

data/smoke/block/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/block/a.rb

@@ -1,10 +0,0 @@
-# @type var a: A
-
-a = A.new
-
-# @type var i: Integer
-# @type var s: String
-
-s = a.foo
-
-i = a.foo { nil }

data/smoke/block/a.rbs

@@ -1,6 +0,0 @@
-class A
-  def foo: { (String) -> untyped } -> String
-         | -> Integer
-
-  def bar: { (String) -> Integer } -> Symbol
-end

data/smoke/block/b.rb

@@ -1,13 +0,0 @@
-# @type var a: A
-a = (_ = nil)
-
-a.bar do |x|
-  break 3
-end
-
-# @type var s: ::String
-
-s = a.bar do |x|
-  # @type break: ::Integer
-  break 3
-end

data/smoke/block/c.rb

@@ -1,9 +0,0 @@
-class OptionalBlock
-  def optional_block
-    yield
-    30
-  end
-end
-
-OptionalBlock.new.optional_block()
-OptionalBlock.new.optional_block() { :foo }

data/smoke/block/c.rbs

@@ -1,3 +0,0 @@
-class OptionalBlock
-  def optional_block: ?{ () -> void } -> Integer
-end

data/smoke/block/d.rb

@@ -1,11 +0,0 @@
-# @type var a: ^(Integer) -> String
-a = -> (x) { x.to_s }
-
-# @type var b: Array[Float]
-
-b = [1,2,3].map(&a)
-
-b = [1,2,3].map(&:to_s)
-
-[1,2,3].map(&:no_such_method)
-[1,2,3].map(&:divmod)

data/smoke/block/e.rb

@@ -1,12 +0,0 @@
-123.instance_eval do
-  self - 1
-end
-
-b = BlockWithSelf.new.instance_exec do
-  @name = ""
-  @id = 123
-end
-
-[1, ""][0].instance_eval do
-  foo()
-end

data/smoke/block/e.rbs

@@ -1,4 +0,0 @@
-class BlockWithSelf
-  @name: String
-  @id: Integer
-end

data/smoke/block/test_expectations.yml

@@ -1,133 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 10
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 2
-      end:
-        line: 5
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot break with a value of type `::Integer` because type `::Symbol` is assumed
-        ::Integer <: ::Symbol
-          ::Numeric <: ::Symbol
-            ::Object <: ::Symbol
-              ::BasicObject <: ::Symbol
-    code: Ruby::BreakTypeMismatch
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 13
-        character: 3
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | ::Symbol)` to a variable of type `::String`
-        (::Integer | ::Symbol) <: ::String
-          ::Integer <: ::String
-            ::Numeric <: ::String
-              ::Object <: ::String
-                ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-- file: d.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 19
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
-        ::Array[::String] <: ::Array[::Float]
-          ::String <: ::Float
-            ::Object <: ::Float
-              ::BasicObject <: ::Float
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 23
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
-        ::Array[::String] <: ::Array[::Float]
-          ::String <: ::Float
-            ::Object <: ::Float
-              ::BasicObject <: ::Float
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 10
-        character: 12
-      end:
-        line: 10
-        character: 28
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Proc` as a block-pass-argument of type `^(::Integer) -> U(3)`
-        ::Proc <: ^(::Integer) -> U(3)
-    code: Ruby::BlockTypeMismatch
-  - range:
-      start:
-        line: 11
-        character: 12
-      end:
-        line: 11
-        character: 20
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Proc` as a block-pass-argument of type `^(::Integer) -> U(4)`
-        ::Proc <: ^(::Integer) -> U(4)
-    code: Ruby::BlockTypeMismatch
-- file: e.rb
-  diagnostics:
-  - range:
-      start:
-        line: 11
-        character: 2
-      end:
-        line: 11
-        character: 5
-    severity: ERROR
-    message: Type `(::Integer | ::String)` does not have method `foo`
-    code: Ruby::NoMethod

data/smoke/case/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/case/a.rb

@@ -1,18 +0,0 @@
-# @type var a: Integer
-
-a = case 1
-    when 2
-      1
-    when 0, 100
-      ["String"]
-    when 3
-      nil
-    when 4
-    else
-      "string"
-    end
-
-a = case
-    when 1+"a"
-      30
-    end

data/smoke/case/test_expectations.yml

@@ -1,47 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 13
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | ::Array[::String] | nil | ::String)` to a variable of type `::Integer`
-        (::Integer | ::Array[::String] | nil | ::String) <: ::Integer
-          ::Array[::String] <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 0
-      end:
-        line: 18
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
-        (::Integer | nil) <: ::Integer
-          nil <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 16
-        character: 9
-      end:
-        line: 16
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `+` of type `::Integer`
-      Method types:
-        def +: (::Integer) -> ::Integer
-             | (::Float) -> ::Float
-             | (::Rational) -> ::Rational
-             | (::Complex) -> ::Complex
-    code: Ruby::UnresolvedOverloading

data/smoke/class/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/class/a.rb

@@ -1,25 +0,0 @@
-class A
-  # A#foo is defined and the implementation is compatible.
-  def foo(x)
-    x + ""
-  end
-
-  # A#bar is defined but the implementation is incompatible.
-  def bar(y)
-    y
-  end
-
-  # Object#to_s is defined but the implementation is incompatible.
-  def to_s
-    3
-  end
-
-  # No method definition given via signature, there is no type error.
-  def to_str
-    5
-  end
-
-  def self.baz
-    "baz"
-  end
-end

data/smoke/class/a.rbs

@@ -1,23 +0,0 @@
-class A
-  def foo: (String) -> untyped
-  def bar: () -> String
-  def self.baz: -> Integer
-end
-
-class B
-  def name: -> String
-end
-
-class C
-  def foo: -> instance
-  def bar: -> instance
-end
-
-class D
-  def initialize: (String) -> untyped
-  def foo: -> untyped
-end
-
-interface _E
-  def foo: -> untyped
-end

data/smoke/class/b.rb

@@ -1,5 +0,0 @@
-# @var type s: String
-# @var type a: Integer
-
-s = "".class.allocate
-s = 3.class.allocate

data/smoke/class/c.rb

@@ -1,9 +0,0 @@
-class B
-  # @implements B
-
-  # @dynamic name
-  attr_reader :name
-
-  # @dynamic type
-  attr_reader :type
-end

data/smoke/class/f.rb

@@ -1,10 +0,0 @@
-# @type var e: _E
-# @type var d: D
-
-e = (_ = nil)
-d = (_ = nil)
-
-e = d
-
-e = _ = nil
-d = e

data/smoke/class/g.rb

@@ -1,6 +0,0 @@
-class B
-end
-
-class C
-  # @implements ::B
-end

data/smoke/class/h.rb

@@ -1,19 +0,0 @@
-class WithSingletonConstructor
-  # @dynamic foo
-  attr_reader :foo
-
-  def initialize(foo:)
-    @foo = foo
-  end
-
-  def self.create()
-    instance = new(foo: "hoge")
-
-    instance.foo
-
-    _ = instance
-  end
-
-  new(foo: "hoge")
-  create().foo
-end

data/smoke/class/h.rbs

@@ -1,6 +0,0 @@
-class WithSingletonConstructor
-  attr_reader foo: String
-
-  def initialize: (foo: String) -> void
-  def self.create: -> instance
-end

data/smoke/class/i.rb

@@ -1,14 +0,0 @@
-class IncompatibleChild
-  def foo(arg)
-    # @type var x: Symbol
-    x = super()
-
-    "123"
-  end
-
-  def initialize()
-    super()
-
-    super
-  end
-end

data/smoke/class/i.rbs

@@ -1,9 +0,0 @@
-class IncompatibleSuper
-  def foo: () -> Integer
-  def initialize: (name: String) -> untyped
-end
-
-class IncompatibleChild < IncompatibleSuper
-  def initialize: () -> untyped
-  def foo: (Object) -> String
-end

data/smoke/class/test_expectations.yml

@@ -1,117 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 10
-      end:
-        line: 8
-        character: 11
-    severity: ERROR
-    message: The method parameter is incompatible with the declaration `() -> ::String`
-    code: Ruby::MethodParameterMismatch
-  - range:
-      start:
-        line: 13
-        character: 6
-      end:
-        line: 13
-        character: 10
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `::Integer` because declared as type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::MethodBodyTypeMismatch
-  - range:
-      start:
-        line: 22
-        character: 11
-      end:
-        line: 22
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `::String` because declared as type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::MethodBodyTypeMismatch
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: "@dynamic annotation contains unknown method name `type`"
-    code: Ruby::UnexpectedDynamicMethod
-- file: f.rb
-  diagnostics:
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 10
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::_E` to a variable of type `::D`
-        ::_E <: ::D
-    code: Ruby::IncompatibleAssignment
-- file: g.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::B#name`
-    code: Ruby::MethodDefinitionMissing
-  - range:
-      start:
-        line: 4
-        character: 6
-      end:
-        line: 4
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::B#name`
-    code: Ruby::MethodDefinitionMissing
-- file: i.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 4
-      end:
-        line: 4
-        character: 15
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
-        ::Integer <: ::Symbol
-          ::Numeric <: ::Symbol
-            ::Object <: ::Symbol
-              ::BasicObject <: ::Symbol
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 10
-        character: 4
-      end:
-        line: 10
-        character: 11
-    severity: ERROR
-    message: 'More keyword arguments are required: name'
-    code: Ruby::InsufficientKeywordArguments

data/smoke/compact/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/compact/a.rb

@@ -1,2 +0,0 @@
-# @type var a: Array[Integer | bool]
-a = [1, nil, true].compact

data/smoke/compact/a.rbs

@@ -1,5 +0,0 @@
-module Compact
-  class Foo
-    def compact: () -> Array[String | bool | nil]
-  end
-end

data/smoke/compact/b.rb

@@ -1,2 +0,0 @@
-# @type var y: Array[String | bool]
-y = Compact::Foo.new.compact

data/smoke/compact/test_expectations.yml

@@ -1,18 +0,0 @@
----
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 0
-      end:
-        line: 2
-        character: 28
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[(::String | bool | nil)]` to a variable of type `::Array[(::String | bool)]`
-        ::Array[(::String | bool | nil)] <: ::Array[(::String | bool)]
-          (::String | bool | nil) <: (::String | bool)
-            nil <: (::String | bool)
-              nil <: ::String
-    code: Ruby::IncompatibleAssignment

data/smoke/const/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/const/a.rb

@@ -1,27 +0,0 @@
-# @type const A: Integer
-# @type var x: String
-
-x = A
-
-x = B
-
-module X
-  # @type const A: Integer
-
-  def foo
-    # @type var x: String
-
-    x = A
-
-    x = B
-  end
-end
-
-
-# @type const Foo::Bar::Baz: Integer
-
-x = Foo::Bar::Baz
-
-z = Foo
-x = z::Bar::Baz
-x = ::Foo::Bar::Baz

data/smoke/const/b.rb

@@ -1,7 +0,0 @@
-module Foo
-  module Bar
-    Baz = "Hello"
-
-    Baz2 = "World"
-  end
-end

data/smoke/const/b.rbs

@@ -1,5 +0,0 @@
-module Foo
-  module Bar
-    Baz: Integer
-  end
-end