steep 0.37.0 → 0.42.0

data/smoke/lambda/a.rb

@@ -1,6 +1,5 @@
 # @type var a: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 a = -> (x, y) do
   # @type var x: String
   # @type var y: String
@@ -8,10 +7,8 @@ a = -> (x, y) do
 end["foo", "bar"]
 
 # @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 
+  x + 1
 end
 
 # @type var c: ^(Integer) -> Integer

data/smoke/lambda/test_expectations.yml

@@ -0,0 +1,39 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 7
+        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
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 12
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Proc` to a variable of type `^(::Integer) -> ::Integer`
+        ::Proc <: ^(::Integer) -> ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 4
+      end:
+        line: 11
+        character: 5
+    severity: ERROR
+    message: Type `nil` does not have method `+`
+    code: Ruby::NoMethod

data/smoke/literal/a.rb

@@ -1,16 +1,11 @@
 # @type var x: String
 # @type var y: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 x = 1
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Symbol
 x = :foo
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 y = "foo"
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=bool
 x = true
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=bool
 y = false

data/smoke/literal/b.rb

@@ -1,9 +1,7 @@
 l = LiteralMethods.new
 
 l.foo(3)
-# !expects ArgumentTypeMismatch: receiver=::LiteralMethods, expected=3, actual=::Integer
 l.foo(4)
 
 l.bar(foo: :foo)
-# !expects IncompatibleAssignment: lhs_type=:foo, rhs_type=::Symbol
 l.bar(foo: :bar)

data/smoke/literal/test_expectations.yml

@@ -0,0 +1,106 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 4
+        character: 5
+    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: 6
+        character: 0
+      end:
+        line: 6
+        character: 8
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to a variable of type `::String`
+        ::Symbol <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 8
+        character: 0
+      end:
+        line: 8
+        character: 9
+    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
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 10
+        character: 8
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `bool` to a variable of type `::String`
+        bool <: ::String
+          (true | false) <: ::String
+            true <: ::String
+              ::TrueClass <: ::String
+                ::Object <: ::String
+                  ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `bool` to a variable of type `::Integer`
+        bool <: ::Integer
+          (true | false) <: ::Integer
+            true <: ::Integer
+              ::TrueClass <: ::Integer
+                ::Object <: ::Integer
+                  ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 6
+      end:
+        line: 4
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot pass a value of type `::Integer` as an argument of type `3`
+        ::Integer <: 3
+    code: Ruby::ArgumentTypeMismatch
+  - range:
+      start:
+        line: 7
+        character: 11
+      end:
+        line: 7
+        character: 15
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to an expression of type `:foo`
+        ::Symbol <: :foo
+    code: Ruby::IncompatibleAssignment

data/smoke/map/test_expectations.yml

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

data/smoke/method/a.rb

@@ -1,13 +1,10 @@
 # @type method foo: (Integer, y: Integer) -> String
 
-# !expects MethodBodyTypeMismatch: method=foo, expected=::String, actual=::Integer
 def foo(x, y:)
   # @type var z: String
 
-  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
   z = x
 
-  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
   z = y
 
   3
@@ -15,11 +12,9 @@ end
 
 # @type method bar: (Integer) -> String
 
-# !expects MethodArityMismatch: method=bar
 def bar(x, y)
   # @type var z: String
 
-  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
   z = x
 
   z = y

data/smoke/method/b.rb

@@ -1,7 +1,6 @@
 class A
   # @implements X
 
-  # !expects MethodBodyTypeMismatch: method=foo, expected=(::Integer | ::String), actual=::Symbol
   def foo(x)
     :foobar
   end

data/smoke/method/test_expectations.yml

@@ -0,0 +1,90 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 11
+        character: 3
+    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: 6
+        character: 2
+      end:
+        line: 6
+        character: 7
+    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: 8
+        character: 2
+      end:
+        line: 8
+        character: 7
+    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: 15
+        character: 7
+      end:
+        line: 15
+        character: 13
+    severity: ERROR
+    message: Method parameters are incompatible with declaration `(::Integer) -> ::String`
+    code: Ruby::MethodArityMismatch
+  - range:
+      start:
+        line: 18
+        character: 2
+      end:
+        line: 18
+        character: 7
+    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
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 2
+      end:
+        line: 6
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`
+        ::Symbol <: (::Integer | ::String)
+          ::Symbol <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::MethodBodyTypeMismatch

data/smoke/module/a.rb

@@ -10,10 +10,8 @@ module A
     end
 
     # @type var s: String
-    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
     s = n
 
-    # !expects NoMethodError: type=(::Object & ::_Each2[::Integer, ::A] & ::A), method=foo
     foo()
 
     n

data/smoke/module/b.rb

@@ -1,5 +1,3 @@
-# ALLOW FAILURE
-
 # @type var klass: Class
 # @type var mod: Module
 

data/smoke/module/c.rb

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

data/smoke/module/d.rb

@@ -1,5 +1,4 @@
 # If there is a same name module definition, it automatically implements.
 
-# !expects MethodDefinitionMissing: module=::X, method=foo
 module X
 end

data/smoke/module/f.rb

@@ -1,5 +1,3 @@
-# !expects@+2 MethodDefinitionMissing: module=::Palette, method=self.nestopia_palette
-# !expects@+1 UnexpectedDynamicMethod: module=::Palette, method=nestopia_palette
 module Palette
   module_function
 

data/smoke/module/test_expectations.yml

@@ -0,0 +1,75 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 13
+        character: 4
+      end:
+        line: 13
+        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: 15
+        character: 4
+      end:
+        line: 15
+        character: 7
+    severity: ERROR
+    message: Type `(::Object & ::_Each2[::Integer, ::A] & ::A)` does not have method
+      `foo`
+    code: Ruby::NoMethod
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 21
+        character: 2
+      end:
+        line: 21
+        character: 26
+    severity: ERROR
+    message: Type `singleton(::A)` does not have method `no_such_method_in_module`
+    code: Ruby::NoMethod
+- file: d.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 7
+      end:
+        line: 3
+        character: 8
+    severity: ERROR
+    message: Cannot find implementation of method `::X#foo`
+    code: Ruby::MethodDefinitionMissing
+- file: f.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 7
+      end:
+        line: 1
+        character: 14
+    severity: ERROR
+    message: Cannot find implementation of method `::Palette.nestopia_palette`
+    code: Ruby::MethodDefinitionMissing
+  - range:
+      start:
+        line: 1
+        character: 7
+      end:
+        line: 1
+        character: 14
+    severity: ERROR
+    message: "@dynamic annotation contains unknown method name `nestopia_palette`"
+    code: Ruby::UnexpectedDynamicMethod

data/smoke/regexp/a.rb

@@ -1,147 +1,109 @@
-# ALLOW FAILURE
-
 new_1 = Regexp.new("a")
-# !expects NoMethodError: type=::Regexp, method=foo
 new_1.foo
 
 new_2 = Regexp.new("a", true)
-# !expects NoMethodError: type=::Regexp, method=foo
 new_2.foo
 
 new_3 = Regexp.new("a", Regexp::EXTENDED | Regexp::IGNORECASE)
-# !expects NoMethodError: type=::Regexp, method=foo
 new_3.foo
 
 new_4 = Regexp.new(/a/)
-# !expects NoMethodError: type=::Regexp, method=foo
 new_4.foo
 
 compile_1 = Regexp.compile("a")
-# !expects NoMethodError: type=::Regexp, method=foo
 compile_1.foo
 
 compile_2 = Regexp.compile("a", true)
-# !expects NoMethodError: type=::Regexp, method=foo
 compile_2.foo
 
 compile_3 = Regexp.compile("a", Regexp::EXTENDED | Regexp::IGNORECASE)
-# !expects NoMethodError: type=::Regexp, method=foo
 compile_3.foo
 
 compile_4 = Regexp.compile(/a/)
-# !expects NoMethodError: type=::Regexp, method=foo
 compile_4.foo
 
 escape_1 = Regexp.escape("a")
-# !expects NoMethodError: type=::String, method=foo
 escape_1.foo
 
 last_match_1 = Regexp.last_match
-# !expects NoMethodError: type=(::MatchData | nil), method=foo
 last_match_1.foo
 
 last_match_2 = Regexp.last_match(1)
-# !expects NoMethodError: type=(::String | nil), method=foo
 last_match_2.foo
 
 quote_1 = Regexp.quote("a")
-# !expects NoMethodError: type=::String, method=foo
 quote_1.foo
 
 try_convert_1 = Regexp.try_convert(Object.new)
-# !expects NoMethodError: type=(::Regexp | nil), method=foo
 try_convert_1.foo
 
 union_1 = Regexp.union
-# !expects NoMethodError: type=::Regexp, method=foo
 union_1.foo
 
 union_2 = Regexp.union("a")
-# !expects NoMethodError: type=::Regexp, method=foo
 union_2.foo
 
 union_3 = Regexp.union("a", "b")
-# !expects NoMethodError: type=::Regexp, method=foo
 union_3.foo
 
 union_4 = Regexp.union(["a", "b"])
-# !expects NoMethodError: type=::Regexp, method=foo
 union_4.foo
 
 union_5 = Regexp.union(/a/)
-# !expects NoMethodError: type=::Regexp, method=foo
 union_5.foo
 
 union_6 = Regexp.union(/a/, /b/)
-# !expects NoMethodError: type=::Regexp, method=foo
 union_6.foo
 
 union_7 = Regexp.union([/a/, /b/])
-# !expects NoMethodError: type=::Regexp, method=foo
 union_7.foo
 
 op_eqeqeq_1 = /a/ === "a"
-# !expects NoMethodError: type=bool, method=foo
 op_eqeqeq_1.foo
 
 op_match_1 = /a/ =~ "a"
-# !expects NoMethodError: type=::Integer, method=foo
 op_match_1.foo
 
 casefold_1 = /a/.casefold?
-# !expects NoMethodError: type=bool, method=foo
 casefold_1.foo
 
 encoding_1 = /a/.encoding
-# !expects NoMethodError: type=::Encoding, method=foo
 encoding_1.foo
 
 fixed_encoding_1 = /a/.fixed_encoding?
-# !expects NoMethodError: type=bool, method=foo
 fixed_encoding_1.foo
 
 match_1 = /a/.match("a")
-# !expects NoMethodError: type=(::MatchData | nil), method=foo
 match_1.foo
 
 match_2 = /a/.match("a", 0)
-# !expects NoMethodError: type=(::MatchData | nil), method=foo
 match_2.foo
 
 /a/.match("a") do |m|
-  # !expects NoMethodError: type=::MatchData, method=foo
   m.foo
 end
 
 /a/.match("a", 0) do |m|
-  # !expects NoMethodError: type=::MatchData, method=foo
   m.foo
 end
 
 match_q_1 = /a/.match?("a")
-# !expects NoMethodError: type=bool, method=foo
 match_q_1.foo
 
 match_q_2 = /a/.match?("a", 0)
-# !expects NoMethodError: type=bool, method=foo
 match_q_2.foo
 
 named_captures_1 = /(?<foo>.)/.named_captures
-# !expects NoMethodError: type=::Hash[::String, ::Array[::Integer]], method=foo
 named_captures_1.foo
 
 names_1 = /(?<foo>.)/.names
-# !expects NoMethodError: type=::Array[::String], method=foo
 names_1.foo
 
 options_1 = /a/ix.options
-# !expects NoMethodError: type=::Integer, method=foo
 options_1.foo
 
 source_1 = /a/ix.source
-# !expects NoMethodError: type=::String, method=foo
 source_1.foo
 
 op_unary_match_1 = ~ /a/
-# !expects NoMethodError: type=(::Integer | nil), method=foo
 op_unary_match_1.foo