steep 0.37.0 → 0.42.0

data/smoke/hash/b.rb

@@ -3,5 +3,4 @@
 x = { foo: "foo" }
 x = { foo: nil }
 
-# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, (::String | nil)], rhs_type=::Hash[::Symbol, ::Integer]
 x = { foo: 3 }

data/smoke/hash/c.rb

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

data/smoke/hash/d.rb

@@ -2,5 +2,4 @@
 
 params = { id: 30, name: "Matz" }
 
-# !expects IncompatibleAssignment: lhs_type={ :id => ::Integer, :name => ::String }, rhs_type={ :email => ::String, :id => ::String, :name => ::String }
 params = { id: "30", name: "foo", email: "matsumoto@soutaro.com" }

data/smoke/hash/e.rb

@@ -1,2 +1 @@
-# !expects NoMethodError: type=::Integer, method=fffffffffffff
 Foo.new.get({ foo: 3 }).fffffffffffff

data/smoke/hash/test_expectations.yml

@@ -0,0 +1,81 @@
+---
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 14
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Hash[::Symbol, ::Integer]` to a variable of type `::Hash[::Symbol, (::String | nil)]`
+        ::Hash[::Symbol, ::Integer] <: ::Hash[::Symbol, (::String | nil)]
+          ::Integer <: (::String | nil)
+            ::Integer <: ::String
+              ::Numeric <: ::String
+                ::Object <: ::String
+                  ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 3
+      end:
+        line: 5
+        character: 10
+    severity: ERROR
+    message: Type `::Integer` does not have method `abcdefg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 8
+        character: 5
+      end:
+        line: 8
+        character: 12
+    severity: ERROR
+    message: Type `::String` does not have method `abcdefg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 10
+        character: 30
+      end:
+        line: 10
+        character: 37
+    severity: ERROR
+    message: Type `(::Integer | ::String)` does not have method `abcdefg`
+    code: Ruby::NoMethod
+- file: d.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 5
+        character: 66
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `{ :email => ::String, :id => ::String, :name => ::String }` to a variable of type `{ :id => ::Integer, :name => ::String }`
+        { :email => ::String, :id => ::String, :name => ::String } <: { :id => ::Integer, :name => ::String }
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: e.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 24
+      end:
+        line: 1
+        character: 37
+    severity: ERROR
+    message: Type `::Integer` does not have method `fffffffffffff`
+    code: Ruby::NoMethod

data/smoke/hello/hello.rb

@@ -6,8 +6,6 @@ y = (_ = nil)
 
 a = x.foo
 
-# !expects NoMethodError: type=::_Bar, method=foo
 b = y.foo
 
-# !expects IncompatibleAssignment: lhs_type=::_Foo, rhs_type=::_Bar
 x = y

data/smoke/hello/test_expectations.yml

@@ -0,0 +1,25 @@
+---
+- file: hello.rb
+  diagnostics:
+  - range:
+      start:
+        line: 9
+        character: 6
+      end:
+        line: 9
+        character: 9
+    severity: ERROR
+    message: Type `::_Bar` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::_Bar` to a variable of type `::_Foo`
+        ::_Bar <: ::_Foo
+    code: Ruby::IncompatibleAssignment

data/smoke/if/a.rb

@@ -2,7 +2,6 @@
 
 x = y = z = (_ = nil)
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::Symbol | nil)
 a = if x
       :foo
     end
@@ -13,7 +12,6 @@ else
   "baz"
 end
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::String | ::Integer)
 a = if z
       "foofoo"
     else

data/smoke/if/test_expectations.yml

@@ -0,0 +1,34 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 7
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::Symbol | nil)` to a variable of type `::String`
+        (::Symbol | nil) <: ::String
+          ::Symbol <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 0
+      end:
+        line: 19
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::String`
+        (::String | ::Integer) <: ::String
+          ::Integer <: ::String
+            ::Numeric <: ::String
+              ::Object <: ::String
+                ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment

data/smoke/implements/a.rb

@@ -1,5 +1,3 @@
-# !expects@+2 MethodDefinitionMissing: module=::A, method=baz
-# !expects MethodDefinitionMissing: module=::A, method=self.bar
 class A
   # @implements A
 

data/smoke/implements/test_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::A#baz`
+    code: Ruby::MethodDefinitionMissing
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::A.bar`
+    code: Ruby::MethodDefinitionMissing

data/smoke/initialize/test_expectations.yml

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

data/smoke/integer/a.rb

@@ -1,33 +1,26 @@
 # @type var x: Numeric
 x = _ = 1
 integer_1 = Integer(x)
-# !expects NoMethodError: type=::Integer, method=foo
 integer_1.foo
 
 integer_2 = Integer("1")
-# !expects NoMethodError: type=::Integer, method=foo
 integer_2.foo
 
 class WithToInt
   def to_int; 1; end
 end
 integer_3 = Integer(WithToInt.new)
-# !expects NoMethodError: type=::Integer, method=foo
 integer_3.foo
 
 class WithToI
   def to_i; 1; end
 end
 integer_4 = Integer(WithToI.new)
-# !expects NoMethodError: type=::Integer, method=foo
 integer_4.foo
 
 integer_5 = Integer("10", 2)
-# !expects NoMethodError: type=::Integer, method=foo
 integer_5.foo
 
-# !expects* UnresolvedOverloading: receiver=::Object, method_name=Integer,
 Integer(Object.new)
 
-# !expects* UnresolvedOverloading: receiver=::Object, method_name=Integer,
 Integer(nil)

data/smoke/integer/test_expectations.yml

@@ -0,0 +1,101 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 10
+      end:
+        line: 4
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 7
+        character: 10
+      end:
+        line: 7
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 20
+      end:
+        line: 12
+        character: 29
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 13
+        character: 10
+      end:
+        line: 13
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 18
+        character: 20
+      end:
+        line: 18
+        character: 27
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 19
+        character: 10
+      end:
+        line: 19
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 22
+        character: 10
+      end:
+        line: 22
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 24
+        character: 0
+      end:
+        line: 24
+        character: 19
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `Integer` of type `::Object`
+      Method types:
+        def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
+                   | (::String, ?::Integer, ?exception: bool) -> ::Integer
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 26
+        character: 0
+      end:
+        line: 26
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `Integer` of type `::Object`
+      Method types:
+        def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
+                   | (::String, ?::Integer, ?exception: bool) -> ::Integer
+    code: Ruby::UnresolvedOverloading

data/smoke/interface/a.rb

@@ -2,13 +2,11 @@ class A
   # @dynamic foo
 
   def hello
-    # !expects NoMethodError: type=::A::Object, method=bar
     foo.foo.bar
 
     # @type var object: ::Object
     object = _ = nil
 
-    # !expects NoMethodError: type=::Object, method=object?
     object.object?
   end
 end

data/smoke/interface/test_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 12
+      end:
+        line: 5
+        character: 15
+    severity: ERROR
+    message: Type `::A::Object` does not have method `bar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 10
+        character: 11
+      end:
+        line: 10
+        character: 18
+    severity: ERROR
+    message: Type `::Object` does not have method `object?`
+    code: Ruby::NoMethod

data/smoke/kwbegin/a.rb

@@ -1,6 +1,5 @@
 # @type var a: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 a = begin
   # @type var x: String
   x = '1'

data/smoke/kwbegin/test_expectations.yml

@@ -0,0 +1,17 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 7
+        character: 3
+    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