steep 0.37.0 → 0.42.0

data/smoke/diagnostics/unexpected_block_given.rb

@@ -0,0 +1 @@
+[1].at(1) { 123 }

data/smoke/diagnostics/unexpected_dynamic_method.rb

@@ -0,0 +1,3 @@
+class UnexpectedDynamicMethod
+  # @dynamic foo, bar
+end

data/smoke/diagnostics/unexpected_jump.rb

@@ -0,0 +1,4 @@
+break
+
+next
+

data/smoke/diagnostics/unexpected_jump_value.rb

@@ -0,0 +1,3 @@
+while true
+  break 10
+end

data/smoke/diagnostics/unexpected_keyword.rb

@@ -0,0 +1 @@
+UnexpectedKeyword.new.foo(foo: 123, bar: :bar)

data/smoke/diagnostics/unexpected_splat.rb

@@ -0,0 +1 @@
+{ foo: :bar, **123 }

data/smoke/diagnostics/unexpected_yield.rb

@@ -0,0 +1,6 @@
+class UnexpectedYield
+  # @type method foo: () -> void
+  def foo
+    yield
+  end
+end

data/smoke/diagnostics/unknown_constant_assigned.rb

@@ -0,0 +1,7 @@
+class UnknownConstantAssigned
+  FOO = 123
+
+  FOO::BAR = 123
+
+  ::FOO = :foo
+end

data/smoke/diagnostics/unresolved_overloading.rb

@@ -0,0 +1 @@
+1 + ""

data/smoke/diagnostics/unsatisfiable_constraint.rb

@@ -0,0 +1,7 @@
+
+test = UnsatisfiableConstraint.new
+
+test.foo([]) do |x|
+  # @type var x: String
+  x.foo()
+end

data/smoke/diagnostics/unsupported_syntax.rb

@@ -0,0 +1,2 @@
+class <<[1, ""].sample
+end

data/smoke/dstr/a.rb

@@ -2,5 +2,4 @@
 
 a = 0
 
-# !expects NoMethodError: type=::Integer, method=foo
 b = "Hello #{a.foo} world!"

data/smoke/dstr/test_expectations.yml

@@ -0,0 +1,13 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 15
+      end:
+        line: 5
+        character: 18
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod

data/smoke/ensure/a.rb

@@ -1,22 +1,18 @@
 # @type var a: Integer
 # @type var b: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 a = begin
       'foo'
     ensure
-      # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Symbol
       b = :foo
       1
     end
 
 # @type method foo: (String) -> String
 
-# !expects MethodBodyTypeMismatch: method=foo, expected=::String, actual=::Integer
 def foo(a)
   10
 ensure
-  # !expects* UnresolvedOverloading: receiver=::Integer, method_name=+,
   1 + '1'
   a
 end

data/smoke/ensure/test_expectations.yml

@@ -0,0 +1,62 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 9
+        character: 7
+    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: 7
+        character: 6
+      end:
+        line: 7
+        character: 14
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to a variable of type `::Integer`
+        ::Symbol <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 13
+        character: 0
+      end:
+        line: 18
+        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: 16
+        character: 2
+      end:
+        line: 16
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `+` of type `::Integer`
+      Method types:
+        def +: (::Integer) -> ::Integer
+             | (::Float) -> ::Float
+             | (::Rational) -> ::Rational
+             | (::Complex) -> ::Complex
+    code: Ruby::UnresolvedOverloading

data/smoke/enumerator/a.rb

@@ -2,18 +2,12 @@
 
 a = [1]
 
-# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::String
 hash = a.each.with_object("") do |x, y|
-  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = x
-  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::String
   hash = y
 end
 
-# !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Array[::Integer]
 hash = a.each.with_index do |x, y|
-  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = x
-  # !expects IncompatibleAssignment: lhs_type=::Hash[::Symbol, ::String], rhs_type=::Integer
   hash = y
 end

data/smoke/enumerator/b.rb

@@ -3,20 +3,17 @@
 
 a = [1]
 
-# !expects* UnresolvedOverloading:
 b = a.each.with_object([]) do |i, xs|
   # @type var xs: String
   xs << i.to_s
 end
 
-# !expects IncompatibleAssignment: lhs_type=::Array[::Integer], rhs_type=::Array[::String]
 c = a.each.with_object([]) do |i, xs|
   # @type var xs: Array[String]
   xs << i.to_s
 end
 
 # @type var d: String
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Array[untyped]
 d = a.each.with_object([]) do |i, xs|
   xs << i.to_s
 end

data/smoke/enumerator/test_expectations.yml

@@ -0,0 +1,135 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 8
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Hash[::Symbol, ::String]`
+        ::String <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 6
+        character: 2
+      end:
+        line: 6
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 2
+      end:
+        line: 7
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Hash[::Symbol, ::String]`
+        ::String <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 13
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Array[::Integer] <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 2
+      end:
+        line: 11
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 12
+        character: 2
+      end:
+        line: 12
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 9
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `with_object` of type `::Enumerator[::Integer, ::Array[::Integer]]`
+      Method types:
+        def with_object: [U] (U) { (::Integer, U) -> untyped } -> U
+                       | [U] (U) -> ::Enumerator[[::Integer, U], ::Array[::Integer]]
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 14
+        character: 3
+    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
+  - range:
+      start:
+        line: 17
+        character: 0
+      end:
+        line: 19
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[untyped]` to a variable of type `::String`
+        ::Array[untyped] <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment

data/smoke/extension/a.rb

@@ -5,7 +5,6 @@ foo = (_ = nil)
 foo.try do |x|
   # @type var string: String
 
-  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Foo
   string = x
 end
 

data/smoke/extension/b.rb

@@ -4,9 +4,7 @@ foo = (_ = nil)
 # @type var integer: Integer
 
 # Foo#f returns String because overridden
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
 integer = foo.f()
 
 # String#f returns Object because Object(X)#f is used
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Object
 integer = "".f()

data/smoke/extension/c.rb

@@ -3,7 +3,6 @@ class Foo
 
   def f()
     # @type var string: String
-    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Object
     string = super()
     string
   end

data/smoke/extension/f.rb

@@ -0,0 +1,2 @@
+array = [1,2,3]
+array.__f__.__error__

data/smoke/extension/f.rbs

@@ -0,0 +1,3 @@
+class Array[unchecked out X]
+  def __f__: () -> X
+end

data/smoke/extension/test_expectations.yml

@@ -0,0 +1,73 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 2
+      end:
+        line: 8
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Foo` to a variable of type `::String`
+        ::Foo <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        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: 10
+        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
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 20
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::String`
+        ::Object <: ::String
+          ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: f.rb
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 12
+      end:
+        line: 2
+        character: 21
+    severity: ERROR
+    message: Type `::Integer` does not have method `__error__`
+    code: Ruby::NoMethod