steep 0.37.0 → 0.42.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_expectations.yml

@@ -0,0 +1,43 @@
+---
+- file: set_divide.rb
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 10
+    severity: ERROR
+    message: Type `::Set[::String]` does not have method `ffffffff`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 5
+        character: 4
+      end:
+        line: 5
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 11
+        character: 4
+      end:
+        line: 11
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod

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_expectations.yml

@@ -0,0 +1,79 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 7
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+        (::String | ::Integer) <: ::Integer
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 18
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+        (::String | ::Integer) <: ::Integer
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 0
+      end:
+        line: 21
+        character: 7
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 25
+        character: 0
+      end:
+        line: 33
+        character: 7
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 37
+        character: 0
+      end:
+        line: 41
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`
+        (::Integer | ::String) <: ::String
+          ::Integer <: ::String
+            ::Numeric <: ::String
+              ::Object <: ::String
+                ::BasicObject <: ::String
+    code: Ruby::MethodBodyTypeMismatch

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_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 16
+        character: 2
+      end:
+        line: 16
+        character: 5
+    severity: ERROR
+    message: Type `::Object` does not have method `baz`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 19
+        character: 4
+      end:
+        line: 19
+        character: 7
+    severity: ERROR
+    message: Type `::Object` does not have method `baz`
+    code: Ruby::NoMethod

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_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: skip.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 7
+      end:
+        line: 8
+        character: 21
+    severity: ERROR
+    message: Type `::Object` does not have method `no_such_method`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 7
+      end:
+        line: 12
+        character: 21
+    severity: ERROR
+    message: Type `::Object` does not have method `no_such_method`
+    code: Ruby::NoMethod

data/smoke/stdout/test_expectations.yml

@@ -0,0 +1 @@
+--- []

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_expectations.yml

@@ -0,0 +1,79 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 16
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::Integer`
+        ::Object <: ::Integer
+          ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 13
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::Integer`
+        ::Object <: ::Integer
+          ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 19
+        character: 4
+      end:
+        line: 19
+        character: 11
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 20
+        character: 4
+      end:
+        line: 20
+        character: 9
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 26
+        character: 4
+      end:
+        line: 26
+        character: 11
+    severity: ERROR
+    message: UnexpectedSuper
+    code: Ruby::UnexpectedSuper
+  - range:
+      start:
+        line: 28
+        character: 4
+      end:
+        line: 28
+        character: 9
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 28
+        character: 4
+      end:
+        line: 28
+        character: 9
+    severity: ERROR
+    message: UnexpectedSuper
+    code: Ruby::UnexpectedSuper

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_expectations.yml

@@ -0,0 +1,15 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 0
+      end:
+        line: 3
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `nil` because declared as type `::String`
+        nil <: ::String
+    code: Ruby::MethodBodyTypeMismatch

data/smoke/tsort/Steepfile

@@ -2,5 +2,7 @@ target :test do
   signature "."
   check "."
 
+  typing_options :strict
+
   library "tsort"
 end

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_expectations.yml

@@ -0,0 +1,63 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 0
+      end:
+        line: 7
+        character: 38
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 34
+      end:
+        line: 7
+        character: 35
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 9
+        character: 0
+      end:
+        line: 9
+        character: 41
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 9
+        character: 37
+      end:
+        line: 9
+        character: 38
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 12
+        character: 0
+      end:
+        line: 12
+        character: 39
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment