steep 0.40.0 → 0.41.0

data/smoke/regression/test.yaml

@@ -1,38 +0,0 @@
----
-test:
-  array.rb:
-    diagnostics: []
-  fun.rb:
-    diagnostics: []
-  hash.rb:
-    diagnostics: []
-  poly_new.rb:
-    diagnostics: []
-  range.rb:
-    diagnostics: []
-  set_divide.rb:
-    diagnostics:
-    - |
-      set_divide.rb:2:2: [error] Type `::Set[::String]` does not have method `ffffffff`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ d.ffffffff
-          ~~~~~~~~
-    - |
-      set_divide.rb:5:4: [error] Type `::String` does not have method `ggggg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x.ggggg
-            ~~~~~
-    - |
-      set_divide.rb:7:4: [error] Type `::String` does not have method `ggggg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   y.ggggg
-            ~~~~~
-    - |
-      set_divide.rb:11:4: [error] Type `::String` does not have method `ggggg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x.ggggg
-            ~~~~~

data/smoke/rescue/test.yaml

@@ -1,60 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:3:0: [error] Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
-      │   (::String | ::Integer) <: ::Integer
-      │     ::String <: ::Integer
-      │       ::Object <: ::Integer
-      │         ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = begin
-        ~~~~~~~~~
-    - |
-      a.rb:11:0: [error] Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
-      │   (::String | ::Integer) <: ::Integer
-      │     ::String <: ::Integer
-      │       ::Object <: ::Integer
-      │         ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ b = 'foo' rescue 1
-        ~~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:15:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ c = begin
-        ~~~~~~~~~
-    - |
-      a.rb:25:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ e = begin
-        ~~~~~~~~~
-    - |
-      a.rb:37:0: [error] Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`
-      │   (::Integer | ::String) <: ::String
-      │     ::Integer <: ::String
-      │       ::Numeric <: ::String
-      │         ::Object <: ::String
-      │           ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
-      │
-      └ def foo(a)
-        ~~~~~~~~~~

data/smoke/self/test.yaml

@@ -1,16 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:16:2: [error] Type `::Object` does not have method `baz`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   baz
-          ~~~
-    - |
-      a.rb:19:4: [error] Type `::Object` does not have method `baz`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └     baz
-            ~~~

data/smoke/skip/test.yaml

@@ -1,16 +0,0 @@
----
-test:
-  skip.rb:
-    diagnostics:
-    - |
-      skip.rb:8:7: [error] Type `::Object` does not have method `no_such_method`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   self.no_such_method
-               ~~~~~~~~~~~~~~
-    - |
-      skip.rb:12:7: [error] Type `::Object` does not have method `no_such_method`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   self.no_such_method
-               ~~~~~~~~~~~~~~

data/smoke/stdout/test.yaml

@@ -1,4 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics: []

data/smoke/super/test.yaml

@@ -1,52 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:4: [error] Cannot assign a value of type `::Object` to a variable of type `::Integer`
-      │   ::Object <: ::Integer
-      │     ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     a = super(x)
-            ~~~~~~~~~~~~
-    - |
-      a.rb:7:4: [error] Cannot assign a value of type `::Object` to a variable of type `::Integer`
-      │   ::Object <: ::Integer
-      │     ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     a = super
-            ~~~~~~~~~
-    - |
-      a.rb:19:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └     super()
-            ~~~~~~~
-    - |
-      a.rb:20:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └     super
-            ~~~~~
-    - |
-      a.rb:26:4: [error] UnexpectedSuper
-      │ Diagnostic ID: Ruby::UnexpectedSuper
-      │
-      └     super()
-            ~~~~~~~
-    - |
-      a.rb:28:4: [error] UnexpectedSuper
-      │ Diagnostic ID: Ruby::UnexpectedSuper
-      │
-      └     super
-            ~~~~~
-    - |
-      a.rb:28:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └     super
-            ~~~~~

data/smoke/toplevel/test.yaml

@@ -1,12 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:1:0: [error] Cannot allow method body have type `nil` because declared as type `::String`
-      │   nil <: ::String
-      │
-      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
-      │
-      └ def fizz_buzz(n)
-        ~~~~~~~~~~~~~~~~

data/smoke/tsort/test.yaml

@@ -1,32 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:7:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ each_node = -> (&b) { g.each_key(&b) }
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:9:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ each_child = -> (n, &b) { g[n].each(&b) }
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:12:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ xs = TSort.tsort(each_node, each_child)
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

data/smoke/type_case/test.yaml

@@ -1,33 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:7:4: [error] Type `(::Integer | ::String)` does not have method `foobar`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x.foobar()
-            ~~~~~~
-    - |
-      a.rb:12:4: [error] Type `(::Integer | ::String | ::Symbol)` does not have method `foobar`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x.foobar
-            ~~~~~~
-    - |
-      a.rb:17:4: [error] Type `1` does not have method `foobar`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x.foobar
-            ~~~~~~
-    - |
-      a.rb:23:2: [error] Type annotation about `x` is incompatible since ::Integer <: ::String doesn't hold
-      │   ::Integer <: ::String
-      │     ::Numeric <: ::String
-      │       ::Object <: ::String
-      │         ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAnnotation
-      │
-      └   x + 1
-          ~~~~~

data/smoke/yield/test.yaml

@@ -1,49 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:4: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
-      │   ::Integer <: ::String
-      │     ::Numeric <: ::String
-      │       ::Object <: ::String
-      │         ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     x = yield(3)
-            ~~~~~~~~~~~~
-    - |
-      a.rb:8:10: [error] Cannot assign a value of type `::String` to an expression of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     yield(x)
-                  ~
-    - |
-      a.rb:13:4: [error] No block given for `yield`
-      │ Diagnostic ID: Ruby::UnexpectedYield
-      │
-      └     yield 4
-            ~~~~~~~
-    - |
-      a.rb:13:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └     yield 4
-            ~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:4:10: [error] Cannot assign a value of type `::String` to an expression of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     yield ""
-                  ~~