steep 0.37.0 → 0.42.0

data/smoke/alias/a.rb

@@ -1,7 +1,6 @@
 # @type var x: foo
 x = ""
 
-# !expects* UnresolvedOverloading: receiver=(::String | ::Integer), method_name=+,
 x + 123
 
 # @type var y: bar
@@ -11,9 +10,7 @@ y = []
 # @type var z: Symbol
 case x
 when String
-  # !expects IncompatibleAssignment: lhs_type=::Symbol, rhs_type=::String
   z = x
 when Integer
-  # !expects IncompatibleAssignment: lhs_type=::Symbol, rhs_type=::Integer
   z = x
 end

data/smoke/alias/b.rb

@@ -3,5 +3,4 @@
 a = ["", :foo]
 
 # @type var x: Integer
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 x = a[0]

data/smoke/alias/c.rb

@@ -1,10 +1,8 @@
 # @type var x: String
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 x = AliasMethodArg.new.foo(:foo)
 
 # @type var name: name
 name = :bar
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 x = AliasMethodArg.new.foo(name)

data/smoke/alias/test_expectations.yml

@@ -0,0 +1,96 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 4
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `+` of type `(::String | ::Integer)`
+      Method types:
+        def +: ((::string & ::Integer)) -> (::String | ::Integer)
+             | ((::string & ::Float)) -> (::String | ::Float)
+             | ((::string & ::Rational)) -> (::String | ::Rational)
+             | ((::string & ::Complex)) -> (::String | ::Complex)
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 13
+        character: 2
+      end:
+        line: 13
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Symbol`
+        ::String <: ::Symbol
+          ::Object <: ::Symbol
+            ::BasicObject <: ::Symbol
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 2
+      end:
+        line: 15
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
+        ::Integer <: ::Symbol
+          ::Numeric <: ::Symbol
+            ::Object <: ::Symbol
+              ::BasicObject <: ::Symbol
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 8
+    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
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 3
+        character: 32
+    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: 0
+      end:
+        line: 8
+        character: 32
+    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

data/smoke/and/a.rb

@@ -3,9 +3,6 @@
 
 a = "foo"
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::String | nil)
 b = a && a.to_str
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | nil)
 c = a && a.to_str
-

data/smoke/and/test_expectations.yml

@@ -0,0 +1,31 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 17
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | nil)` to a variable of type `::String`
+        (::String | nil) <: ::String
+          nil <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 8
+        character: 0
+      end:
+        line: 8
+        character: 17
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | nil)` to a variable of type `::Integer`
+        (::String | nil) <: ::Integer
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment

data/smoke/array/a.rb

@@ -3,19 +3,16 @@
 a = []
 a[1] = 3
 
-# !expects* UnresolvedOverloading: receiver=::Array[::Integer], method_name=[]=,
 a[2] = "foo"
 
 # @type var i: Integer
 i = a[0]
 
 # @type var s: String
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 s = a[1]
 
 
 b = ["a", "b", "c"]
 
 s = b[0]
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 i = b[1]

data/smoke/array/b.rb

@@ -8,7 +8,5 @@ y = x
 # @type var b: Array[String]
 
 a = []
-# !expects IncompatibleAssignment: lhs_type=::Array[::String], rhs_type=::Array[::Integer]
 b = a
-# !expects IncompatibleAssignment: lhs_type=::Array[::Integer], rhs_type=::Array[::String]
 a = b

data/smoke/array/c.rb

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

data/smoke/array/test_expectations.yml

@@ -0,0 +1,103 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `[]=` of type `::Array[::Integer]`
+      Method types:
+        def []=: (::int, ::Integer) -> ::Integer
+               | (::int, ::int, ::Integer) -> ::Integer
+               | (::int, ::int, ::Array[::Integer]) -> ::Array[::Integer]
+               | (::int, ::int, nil) -> nil
+               | (::Range[::Integer], ::Integer) -> ::Integer
+               | (::Range[::Integer], ::Array[::Integer]) -> ::Array[::Integer]
+               | (::Range[::Integer], nil) -> nil
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 12
+        character: 0
+      end:
+        line: 12
+        character: 8
+    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: 18
+        character: 0
+      end:
+        line: 18
+        character: 8
+    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
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 5
+    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
+  - range:
+      start:
+        line: 12
+        character: 0
+      end:
+        line: 12
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Integer]`
+        ::Array[::String] <: ::Array[::Integer]
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Array[(::String | nil)]`
+        ::Array[::Integer] <: ::Array[(::String | nil)]
+          ::Integer <: (::String | nil)
+            ::Integer <: ::String
+              ::Numeric <: ::String
+                ::Object <: ::String
+                  ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment

data/smoke/block/a.rb

@@ -5,8 +5,6 @@ a = A.new
 # @type var i: Integer
 # @type var s: String
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 s = a.foo
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 i = a.foo { nil }

data/smoke/block/b.rb

@@ -2,13 +2,11 @@
 a = (_ = nil)
 
 a.bar do |x|
-  # !expects BreakTypeMismatch: expected=::Symbol, actual=::Integer
   break 3
 end
 
 # @type var s: ::String
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::Integer | ::Symbol)
 s = a.bar do |x|
   # @type break: ::Integer
   break 3

data/smoke/block/d.rb

@@ -3,13 +3,9 @@ a = -> (x) { x.to_s }
 
 # @type var b: Array[Float]
 
-# !expects IncompatibleAssignment: lhs_type=::Array[::Float], rhs_type=::Array[::String]
 b = [1,2,3].map(&a)
 
-# !expects IncompatibleAssignment: lhs_type=::Array[::Float], rhs_type=::Array[::String]
 b = [1,2,3].map(&:to_s)
 
-# !expects* UnresolvedOverloading: receiver=::Array[::Integer], method_name=map,
 [1,2,3].map(&:no_such_method)
-# !expects* UnresolvedOverloading: receiver=::Array[::Integer], method_name=map,
 [1,2,3].map(&:divmod)

data/smoke/block/test_expectations.yml

@@ -0,0 +1,125 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 0
+      end:
+        line: 8
+        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: 10
+        character: 0
+      end:
+        line: 10
+        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
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 2
+      end:
+        line: 5
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot break with a value of type `::Integer` because type `::Symbol` is assumed
+        ::Integer <: ::Symbol
+          ::Numeric <: ::Symbol
+            ::Object <: ::Symbol
+              ::BasicObject <: ::Symbol
+    code: Ruby::BreakTypeMismatch
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 13
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::Integer | ::Symbol)` to a variable of type `::String`
+        (::Integer | ::Symbol) <: ::String
+          ::Integer <: ::String
+            ::Numeric <: ::String
+              ::Object <: ::String
+                ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: d.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 19
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
+        ::Array[::String] <: ::Array[::Float]
+          ::String <: ::Float
+            ::Object <: ::Float
+              ::BasicObject <: ::Float
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 8
+        character: 0
+      end:
+        line: 8
+        character: 23
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
+        ::Array[::String] <: ::Array[::Float]
+          ::String <: ::Float
+            ::Object <: ::Float
+              ::BasicObject <: ::Float
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 10
+        character: 29
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
+      Method types:
+        def map: [U] () { (::Integer) -> U } -> ::Array[U]
+               | () -> ::Enumerator[::Integer, ::Array[untyped]]
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 21
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
+      Method types:
+        def map: [U] () { (::Integer) -> U } -> ::Array[U]
+               | () -> ::Enumerator[::Integer, ::Array[untyped]]
+    code: Ruby::UnresolvedOverloading