steep 0.11.1 → 0.12.0

data/smoke/class/i.rbs

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

data/smoke/const/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/dstr/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/ensure/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/ensure/a.rb

@@ -16,7 +16,7 @@ a = begin
 def foo(a)
   10
 ensure
-  # !expects ArgumentTypeMismatch: receiver=::Integer, expected=::Integer, actual=::String
+  # !expects* UnresolvedOverloading: receiver=::Integer, method_name=+,
   1 + '1'
   a
 end

data/smoke/enumerator/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/enumerator/a.rb

@@ -1,19 +1,19 @@
-# @type var hash: Hash<Symbol, String>
+# @type var hash: Hash[Symbol, String]
 
 a = [1]
 
-# !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::String
+# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::String
 hash = a.each.with_object("") do |x, y|
-  # !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::Integer
+  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = x
-  # !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::String
+  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::String
   hash = y
 end
 
-# !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::Array<::Integer>
+# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Array[::Integer]
 hash = a.each.with_index do |x, y|
-  # !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::Integer
+  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = x
-  # !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, ::String>, rhs_type=::Integer
+  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = y
 end

data/smoke/enumerator/b.rb

@@ -1,22 +1,22 @@
-# @type var b: Array<String>
-# @type var c: Array<Integer>
+# @type var b: Array[String]
+# @type var c: Array[Integer]
 
 a = [1]
 
-# !expects* UnsatisfiableConstraint:
+# !expects* UnresolvedOverloading:
 b = a.each.with_object([]) do |i, xs|
   # @type var xs: String
   xs << i.to_s
 end
 
-# !expects IncompatibleAssignment: lhs_type=::Array<::Integer>, rhs_type=::Array<::String>
+# !expects IncompatibleAssignment: lhs_type=::Array[::Integer], rhs_type=::Array[::String]
 c = a.each.with_object([]) do |i, xs|
-  # @type var xs: Array<String>
+  # @type var xs: Array[String]
   xs << i.to_s
 end
 
 # @type var d: String
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Array<any>
+# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Array[untyped]
 d = a.each.with_object([]) do |i, xs|
   xs << i.to_s
 end

data/smoke/extension/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/extension/{a.rbi → a.rbs}

@@ -1,10 +1,10 @@
 extension Object (X)
-  def try: <'a> { (instance) -> 'a } -> 'a
+  def try: [A] { (instance) -> A } -> A
   def f: -> Object
 end
 
 extension Kernel (X)
-  def self.new_module_method: () -> void
+  def new_module_method: () -> void
 end
 
 class Foo

data/smoke/extension/{e.rbi → e.rbs}

@@ -3,6 +3,6 @@ class NumberLike
 end
 
 extension Integer (NumberLike)
-  def +: (NumberLike) -> NumberLike
-       | super
+  def `+`: (NumberLike) -> NumberLike
+         | super
 end

data/smoke/hash/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/hash/b.rb

@@ -1,7 +1,7 @@
-# @type var x: Hash<Symbol, String?>
+# @type var x: Hash[Symbol, String?]
 
 x = { foo: "foo" }
 x = { foo: nil }
 
-# !expects IncompatibleAssignment: lhs_type=::Hash<::Symbol, (::String | nil)>, rhs_type=::Hash<::Symbol, ::Integer>
+# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, (::String | nil)], rhs_type=::Hash[::Symbol, ::Integer]
 x = { foo: 3 }

data/smoke/hash/c.rb

@@ -9,7 +9,7 @@ name = params[:name]
 # !expects NoMethodError: type=::String, method=abcdefg
 name.abcdefg
 
-# !expects NoMethodError: type=(::Integer | ::String | nil), method=abcdefg
+# !expects NoMethodError: type=(::Integer | ::String), method=abcdefg
 params[(_=nil) ? :id : :name].abcdefg
 
 # @type var controller: Controller

data/smoke/hash/e.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def get: [X] ({ foo: X }) -> X
+end

data/smoke/hash/f.rb

@@ -1,4 +1,4 @@
-# @type method commit: (Hash<Symbol, String?>) -> { repo: String, branch: String?, tag: String?, commit: String? }?
+# @type method commit: (Hash[Symbol, String?]) -> { repo: String, branch: String?, tag: String?, commit: String? }?
 def commit(hash)
   if repo = hash[:foo]
     {

data/smoke/hello/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/hello/hello.rbs

@@ -0,0 +1,7 @@
+interface _Foo
+  def foo: -> untyped
+end
+
+interface _Bar
+  def bar: -> untyped
+end

data/smoke/if/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/implements/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/implements/a.rbs

@@ -0,0 +1,6 @@
+class A
+  def foo: -> untyped
+  def baz: -> untyped
+  def self.bar: -> untyped
+  def self.baz: -> untyped
+end

data/smoke/initialize/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/initialize/a.rbs

@@ -0,0 +1,3 @@
+class A
+  def initialize: () -> untyped
+end

data/smoke/integer/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/integer/a.rb

@@ -1,4 +1,6 @@
-integer_1 = Integer(1)
+# @type var x: Numeric
+x = _ = 1
+integer_1 = Integer(x)
 # !expects NoMethodError: type=::Integer, method=foo
 integer_1.foo
 
@@ -24,8 +26,8 @@ integer_5 = Integer("10", 2)
 # !expects NoMethodError: type=::Integer, method=foo
 integer_5.foo
 
-# !expects IncompatibleArguments: receiver=::Object, method_type=(::String, ::Integer) -> ::Integer
+# !expects* UnresolvedOverloading: receiver=::Object, method_name=Integer,
 Integer(Object.new)
 
-# !expects IncompatibleArguments: receiver=::Object, method_type=(::String, ::Integer) -> ::Integer
+# !expects* UnresolvedOverloading: receiver=::Object, method_name=Integer,
 Integer(nil)

data/smoke/interface/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/kwbegin/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/lambda/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/lambda/a.rb

@@ -7,5 +7,12 @@ a = -> (x, y) do
   x + y
 end["foo", "bar"]
 
-# !expects NoMethodError: type=::Object, method=lambda
-b = lambda {|x| x + 1 }
+# @type var b: ^(Integer) -> Integer
+# !expects IncompatibleAssignment: lhs_type=^(::Integer) -> ::Integer, rhs_type=::Proc
+b = lambda do |x|
+  # !expects NoMethodError: type=nil, method=+
+  x + 1 
+end
+
+# @type var c: ^(Integer) -> Integer
+c = -> (x) { x + 1 }

data/smoke/literal/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/map/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/map/a.rb

@@ -1,5 +1,5 @@
 a = [1,2,3]
 
-# @type var b: Array<Integer>
+# @type var b: Array[Integer]
 
 b = a.map {|x| x.to_i }

data/smoke/method/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/method/b.rb

@@ -1,7 +1,6 @@
 class A
   # @implements X
 
-  # !expects*@+2 MethodDefinitionWithOverloading: method=foo, types=
   # !expects MethodBodyTypeMismatch: method=foo, expected=(::Integer | ::String), actual=::Symbol
   def foo(x)
     :foobar
@@ -11,7 +10,7 @@ end
 class B
   # @implements X
 
-  # @type method foo: (::String | ::Integer) -> any
+  # @type method foo: (::String | ::Integer) -> untyped
   def foo(x)
     3
   end
@@ -21,8 +20,6 @@ class C
   # @implements X
 
   # @type method foo: (Symbol) -> Symbol
-
-  # !expects IncompatibleMethodTypeAnnotation: interface_method=::X.foo, annotation_method=foo
   def foo(x)
     :foo
   end

data/smoke/method/d.rb

@@ -0,0 +1 @@
+KeywordMethod.new.hello(type: 123)

data/smoke/method/d.rbs

@@ -0,0 +1,3 @@
+class KeywordMethod
+  def hello: (type: Integer) -> void
+end

data/smoke/module/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/module/a.rb

@@ -13,7 +13,7 @@ module A
     # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
     s = n
 
-    # !expects NoMethodError: type=(::A & ::Object & ::_Each<::Integer, ::A>), method=foo
+    # !expects NoMethodError: type=(::A & ::Object & ::_Each2[::Integer, ::A]), method=foo
     foo()
 
     n

data/smoke/module/a.rbs

@@ -0,0 +1,16 @@
+interface _Each2[A, B]
+  def each: { (A) -> untyped } -> B
+end
+
+module A : _Each2[Integer, A]
+  def count: () -> Integer
+end
+
+module X
+  def foo: () -> Integer
+end
+
+module Palette
+  def self?.defacto_palette: -> Array[Array[Integer]]
+  def self.nestopia_palette: -> Array[Array[Integer]]
+end

data/smoke/module/c.rb

@@ -18,6 +18,6 @@ module A
   # ok
   block_given?
 
-  # !expects NoMethodError: type=(::A.module & ::Module), method=no_such_method_in_module
+  # !expects NoMethodError: type=singleton(::A), method=no_such_method_in_module
   no_such_method_in_module
 end

data/smoke/regexp/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/regexp/a.rb

@@ -127,11 +127,11 @@ match_q_2 = /a/.match?("a", 0)
 match_q_2.foo
 
 named_captures_1 = /(?<foo>.)/.named_captures
-# !expects NoMethodError: type=::Hash<::String, ::Array<::Integer>>, method=foo
+# !expects NoMethodError: type=::Hash[::String, ::Array[::Integer]], method=foo
 named_captures_1.foo
 
 names_1 = /(?<foo>.)/.names
-# !expects NoMethodError: type=::Array<::String>, method=foo
+# !expects NoMethodError: type=::Array[::String], method=foo
 names_1.foo
 
 options_1 = /a/ix.options

data/smoke/regexp/b.rb

@@ -12,11 +12,11 @@
   match_ref_3.foo
 
   match_ref_4 = match[0, 1]
-  # !expects NoMethodError: type=::Array<::String>, method=foo
+  # !expects NoMethodError: type=::Array[::String], method=foo
   match_ref_4.foo
 
   match_ref_5 = match[0..1]
-  # !expects NoMethodError: type=::Array<::String>, method=foo
+  # !expects NoMethodError: type=::Array[::String], method=foo
   match_ref_5.foo
 
   begin_1 = match.begin(0)
@@ -24,27 +24,27 @@
   begin_1.foo
 
   begin_2 = match.begin("foo")
-  # !expects NoMethodError: type=::Integer, method=foo
+  # !expects NoMethodError: type=(::Integer | nil), method=foo
   begin_2.foo
 
   begin_3 = match.begin(:foo)
-  # !expects NoMethodError: type=::Integer, method=foo
+  # !expects NoMethodError: type=(::Integer | nil), method=foo
   begin_3.foo
 
   captures_1 = match.captures
-  # !expects NoMethodError: type=::Array<::String>, method=foo
+  # !expects NoMethodError: type=::Array[::String], method=foo
   captures_1.foo
 
   end_1 = match.end(0)
-  # !expects NoMethodError: type=::Integer, method=foo
+  # !expects NoMethodError: type=(::Integer | nil), method=foo
   end_1.foo
 
   end_2 = match.end("foo")
-  # !expects NoMethodError: type=::Integer, method=foo
+  # !expects NoMethodError: type=(::Integer | nil), method=foo
   end_2.foo
 
   end_3 = match.end(:foo)
-  # !expects NoMethodError: type=::Integer, method=foo
+  # !expects NoMethodError: type=(::Integer | nil), method=foo
   end_3.foo
 
   length_1 = match.length
@@ -52,23 +52,23 @@
   length_1.foo
 
   named_captures_1 = match.named_captures
-  # !expects NoMethodError: type=::Hash<::String, (::String | nil)>, method=foo
+  # !expects NoMethodError: type=::Hash[::String, (::String | nil)], method=foo
   named_captures_1.foo
 
   names_1 = match.names
-  # !expects NoMethodError: type=::Array<::String>, method=foo
+  # !expects NoMethodError: type=::Array[::String], method=foo
   names_1.foo
 
   offset_1 = match.offset(0)
-  # !expects NoMethodError: type=[::Integer, ::Integer], method=foo
+  # !expects NoMethodError: type=([::Integer, ::Integer] | [nil, nil]), method=foo
   offset_1.foo
 
   offset_2 = match.offset("foo")
-  # !expects NoMethodError: type=[::Integer, ::Integer], method=foo
+  # !expects NoMethodError: type=([::Integer, ::Integer] | [nil, nil]), method=foo
   offset_2.foo
 
   offset_3 = match.offset(:foo)
-  # !expects NoMethodError: type=[::Integer, ::Integer], method=foo
+  # !expects NoMethodError: type=([::Integer, ::Integer] | [nil, nil]), method=foo
   offset_3.foo
 
   post_match_1 = match.post_match
@@ -92,14 +92,14 @@
   string_1.foo
 
   to_a_1 = match.to_a
-  # !expects NoMethodError: type=::Array<::String>, method=foo
+  # !expects NoMethodError: type=::Array[::String], method=foo
   to_a_1.foo
 
   values_at_1 = match.values_at
-  # !expects NoMethodError: type=::Array<(::String | nil)>, method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   values_at_1.foo
 
   values_at_2 = match.values_at(0, "foo", :foo)
-  # !expects NoMethodError: type=::Array<(::String | nil)>, method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   values_at_2.foo
 end