steep 0.39.0 → 0.40.0

data/smoke/regression/set_divide.rb

@@ -1,16 +1,12 @@
 d = Set["1","2","3"]
-# !expects NoMethodError: type=::Set[::String], method=ffffffff
 d.ffffffff
 
 d.divide do |x, y|
-  # !expects NoMethodError: type=::String, method=ggggg
   x.ggggg
 
-  # !expects NoMethodError: type=::String, method=ggggg
   y.ggggg
 end
 
 d.divide do |x|
-  # !expects NoMethodError: type=::String, method=ggggg
   x.ggggg
 end

data/smoke/regression/test.yaml

@@ -0,0 +1,38 @@
+---
+test:
+  array.rb:
+    diagnostics: []
+  fun.rb:
+    diagnostics: []
+  hash.rb:
+    diagnostics: []
+  poly_new.rb:
+    diagnostics: []
+  range.rb:
+    diagnostics: []
+  set_divide.rb:
+    diagnostics:
+    - |
+      set_divide.rb:2:2: [error] Type `::Set[::String]` does not have method `ffffffff`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └ d.ffffffff
+          ~~~~~~~~
+    - |
+      set_divide.rb:5:4: [error] Type `::String` does not have method `ggggg`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   x.ggggg
+            ~~~~~
+    - |
+      set_divide.rb:7:4: [error] Type `::String` does not have method `ggggg`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   y.ggggg
+            ~~~~~
+    - |
+      set_divide.rb:11:4: [error] Type `::String` does not have method `ggggg`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   x.ggggg
+            ~~~~~

data/smoke/rescue/a.rb

@@ -1,6 +1,5 @@
 # @type var a: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Integer)
 a = begin
       'foo'
     rescue
@@ -9,12 +8,10 @@ a = begin
 
 # @type var b: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Integer)
 b = 'foo' rescue 1
 
 # @type var c: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Symbol | ::Integer)
 c = begin
       'foo'
     rescue RuntimeError
@@ -25,7 +22,6 @@ c = begin
 
 # @type var e: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Symbol | ::Integer)
 e = begin
       'foo'
     rescue RuntimeError
@@ -38,7 +34,6 @@ e = begin
 
 # @type method foo: (String) -> String
 
-# !expects MethodBodyTypeMismatch: method=foo, expected=::String, actual=(::Integer | ::String)
 def foo(a)
   10
 rescue

data/smoke/rescue/test.yaml

@@ -0,0 +1,60 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:3:0: [error] Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+      │   (::String | ::Integer) <: ::Integer
+      │     ::String <: ::Integer
+      │       ::Object <: ::Integer
+      │         ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ a = begin
+        ~~~~~~~~~
+    - |
+      a.rb:11:0: [error] Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+      │   (::String | ::Integer) <: ::Integer
+      │     ::String <: ::Integer
+      │       ::Object <: ::Integer
+      │         ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ b = 'foo' rescue 1
+        ~~~~~~~~~~~~~~~~~~
+    - |
+      a.rb:15:0: [error] Cannot assign a value of type `(::String | ::Symbol | ::Integer)` to a variable of type `::Integer`
+      │   (::String | ::Symbol | ::Integer) <: ::Integer
+      │     ::String <: ::Integer
+      │       ::Object <: ::Integer
+      │         ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ c = begin
+        ~~~~~~~~~
+    - |
+      a.rb:25:0: [error] Cannot assign a value of type `(::Array[::Integer] | ::Symbol | ::Integer)` to a variable of type `::Integer`
+      │   (::Array[::Integer] | ::Symbol | ::Integer) <: ::Integer
+      │     ::Array[::Integer] <: ::Integer
+      │       ::Object <: ::Integer
+      │         ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ e = begin
+        ~~~~~~~~~
+    - |
+      a.rb:37:0: [error] Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`
+      │   (::Integer | ::String) <: ::String
+      │     ::Integer <: ::String
+      │       ::Numeric <: ::String
+      │         ::Object <: ::String
+      │           ::BasicObject <: ::String
+      │
+      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
+      │
+      └ def foo(a)
+        ~~~~~~~~~~

data/smoke/self/a.rb

@@ -13,11 +13,9 @@ end
 def bar
   # @type self: Object
 
-  # !expects NoMethodError: type=::Object, method=baz
   baz
 
   tap do
-    # !expects NoMethodError: type=::Object, method=baz
     baz
   end
 end

data/smoke/self/test.yaml

@@ -0,0 +1,16 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:16:2: [error] Type `::Object` does not have method `baz`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   baz
+          ~~~
+    - |
+      a.rb:19:4: [error] Type `::Object` does not have method `baz`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └     baz
+            ~~~

data/smoke/skip/skip.rb

@@ -5,11 +5,9 @@ end
 # @type var foo: String
 
 foo = _ = begin
-  # !expects NoMethodError: type=::Object, method=no_such_method
   self.no_such_method
 end
 
 foo = __any__ = begin
-  # !expects NoMethodError: type=::Object, method=no_such_method
   self.no_such_method
 end

data/smoke/skip/test.yaml

@@ -0,0 +1,16 @@
+---
+test:
+  skip.rb:
+    diagnostics:
+    - |
+      skip.rb:8:7: [error] Type `::Object` does not have method `no_such_method`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   self.no_such_method
+               ~~~~~~~~~~~~~~
+    - |
+      skip.rb:12:7: [error] Type `::Object` does not have method `no_such_method`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   self.no_such_method
+               ~~~~~~~~~~~~~~

data/smoke/stdout/test.yaml

@@ -0,0 +1,4 @@
+---
+test:
+  a.rb:
+    diagnostics: []

data/smoke/super/a.rb

@@ -3,9 +3,7 @@ class A
     # @type self: A
 
     # @type var a: Integer
-    # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Object
     a = super(x)
-    # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Object
     a = super
 
     # @type var b: Object
@@ -25,10 +23,8 @@ class A
   def baz
     # @type self: A
 
-    # !expects UnexpectedSuper: method=baz
     super()
 
-    # !expects UnexpectedSuper: method=baz
     super
   end
 end

data/smoke/super/test.yaml

@@ -0,0 +1,52 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:6:4: [error] Cannot assign a value of type `::Object` to a variable of type `::Integer`
+      │   ::Object <: ::Integer
+      │     ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └     a = super(x)
+            ~~~~~~~~~~~~
+    - |
+      a.rb:7:4: [error] Cannot assign a value of type `::Object` to a variable of type `::Integer`
+      │   ::Object <: ::Integer
+      │     ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └     a = super
+            ~~~~~~~~~
+    - |
+      a.rb:19:4: [error] Cannot detect the type of the expression
+      │ Diagnostic ID: Ruby::FallbackAny
+      │
+      └     super()
+            ~~~~~~~
+    - |
+      a.rb:20:4: [error] Cannot detect the type of the expression
+      │ Diagnostic ID: Ruby::FallbackAny
+      │
+      └     super
+            ~~~~~
+    - |
+      a.rb:26:4: [error] UnexpectedSuper
+      │ Diagnostic ID: Ruby::UnexpectedSuper
+      │
+      └     super()
+            ~~~~~~~
+    - |
+      a.rb:28:4: [error] UnexpectedSuper
+      │ Diagnostic ID: Ruby::UnexpectedSuper
+      │
+      └     super
+            ~~~~~
+    - |
+      a.rb:28:4: [error] Cannot detect the type of the expression
+      │ Diagnostic ID: Ruby::FallbackAny
+      │
+      └     super
+            ~~~~~

data/smoke/toplevel/a.rb

@@ -1,4 +1,3 @@
-# !expects MethodBodyTypeMismatch: method=fizz_buzz, expected=::String, actual=nil
 def fizz_buzz(n)
   nil
 end

data/smoke/toplevel/test.yaml

@@ -0,0 +1,12 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:1:0: [error] Cannot allow method body have type `nil` because declared as type `::String`
+      │   nil <: ::String
+      │
+      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
+      │
+      └ def fizz_buzz(n)
+        ~~~~~~~~~~~~~~~~

data/smoke/tsort/a.rb

@@ -1,5 +1,3 @@
-# ALLOW FAILURE
-
 require "tsort"
 
 # @type var g: Hash[Integer, Array[Integer]]
@@ -11,5 +9,4 @@ each_node = -> (&b) { g.each_key(&b) }
 each_child = -> (n, &b) { g[n].each(&b) }
 
 # @type var xs: Array[String]
-# !expects IncompatibleAssignment: lhs_type=::Array[::String], rhs_type=::Array[::Integer]
 xs = TSort.tsort(each_node, each_child)

data/smoke/tsort/test.yaml

@@ -0,0 +1,32 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:7:0: [error] Cannot assign a value of type `^() -> ::Hash[::Integer, ::Array[::Integer]]` to a variable of type `^() { (::Integer) -> void } -> void`
+      │   ^() -> ::Hash[::Integer, ::Array[::Integer]] <: ^() { (::Integer) -> void } -> void
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ each_node = -> (&b) { g.each_key(&b) }
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    - |
+      a.rb:9:0: [error] Cannot assign a value of type `^(::Integer) -> ::Array[::Integer]` to a variable of type `^(::Integer) { (::Integer) -> void } -> void`
+      │   ^(::Integer) -> ::Array[::Integer] <: ^(::Integer) { (::Integer) -> void } -> void
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ each_child = -> (n, &b) { g[n].each(&b) }
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+    - |
+      a.rb:12:0: [error] Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Array[::String]`
+      │   ::Array[::Integer] <: ::Array[::String]
+      │     ::Integer <: ::String
+      │       ::Numeric <: ::String
+      │         ::Object <: ::String
+      │           ::BasicObject <: ::String
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └ xs = TSort.tsort(each_node, each_child)
+        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

data/smoke/type_case/a.rb

@@ -4,25 +4,21 @@ x = (_ = nil)
 
 case x
 when Integer, String
-  # !expects NoMethodError: type=(::Integer | ::String), method=foobar
   x.foobar()
 end
 
 case x == (_ = 1)
 when Integer
-  # !expects NoMethodError: type=(::Integer | ::String | ::Symbol), method=foobar
   x.foobar
 end
 
 case x
 when 1
-  # !expects NoMethodError: type=1, method=foobar
   x.foobar
 end
 
 case x
 when String
-  # !expects@+2 IncompatibleAnnotation: var_name=x, ::Integer <: ::String
   # @type var x: Integer
   x + 1
 end

data/smoke/type_case/test.yaml

@@ -0,0 +1,33 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:7:4: [error] Type `(::Integer | ::String)` does not have method `foobar`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   x.foobar()
+            ~~~~~~
+    - |
+      a.rb:12:4: [error] Type `(::Integer | ::String | ::Symbol)` does not have method `foobar`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   x.foobar
+            ~~~~~~
+    - |
+      a.rb:17:4: [error] Type `1` does not have method `foobar`
+      │ Diagnostic ID: Ruby::NoMethod
+      │
+      └   x.foobar
+            ~~~~~~
+    - |
+      a.rb:23:2: [error] Type annotation about `x` is incompatible since ::Integer <: ::String doesn't hold
+      │   ::Integer <: ::String
+      │     ::Numeric <: ::String
+      │       ::Object <: ::String
+      │         ::BasicObject <: ::String
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAnnotation
+      │
+      └   x + 1
+          ~~~~~

data/smoke/yield/a.rb

@@ -3,16 +3,13 @@ class A
   def foo()
     # @type var x: String
 
-    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
     x = yield(3)
 
-    # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
     yield(x)
   end
 
   # @type method bar: () -> untyped
   def bar()
-    # !expects UnexpectedYield
     yield 4
   end
 end

data/smoke/yield/b.rb

@@ -0,0 +1,6 @@
+class Foo
+  # @type method bar: () ?{ (Integer) -> void } -> void
+  def bar
+    yield ""
+  end
+end