steep 0.40.0 → 0.44.0

data/smoke/dstr/test.yaml

@@ -1,10 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:5:15: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ b = "Hello #{a.foo} world!"
-                       ~~~

data/smoke/ensure/test.yaml

@@ -1,47 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:7:6: [error] Cannot assign a value of type `::Symbol` to a variable of type `::Integer`
-      │   ::Symbol <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └       b = :foo
-              ~~~~~~~~
-    - |
-      a.rb:4:0: [error] Cannot assign a value of type `::String` to a variable of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = begin
-        ~~~~~~~~~
-    - |
-      a.rb:16:2: [error] Cannot find compatible overloading of method `+` of type `::Integer`
-      │ Method types:
-      │   def +: (::Integer) -> ::Integer
-      │        | (::Float) -> ::Float
-      │        | (::Rational) -> ::Rational
-      │        | (::Complex) -> ::Complex
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └   1 + '1'
-          ~~~~~~~
-    - |
-      a.rb:13:0: [error] Cannot allow method body have type `::Integer` because declared as type `::String`
-      │   ::Integer <: ::String
-      │     ::Numeric <: ::String
-      │       ::Object <: ::String
-      │         ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
-      │
-      └ def foo(a)
-        ~~~~~~~~~~

data/smoke/enumerator/test.yaml

@@ -1,100 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:2: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   hash = x
-          ~~~~~~~~
-    - |
-      a.rb:7:2: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   hash = y
-          ~~~~~~~~
-    - |
-      a.rb:5:0: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ hash = a.each.with_object("") do |x, y|
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:11:2: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   hash = x
-          ~~~~~~~~
-    - |
-      a.rb:12:2: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   hash = y
-          ~~~~~~~~
-    - |
-      a.rb:10:0: [error] 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]
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ hash = a.each.with_index do |x, y|
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:6:4: [error] 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]]
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ b = a.each.with_object([]) do |i, xs|
-            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      b.rb:11:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ c = a.each.with_object([]) do |i, xs|
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      b.rb:17:0: [error] Cannot assign a value of type `::Array[untyped]` to a variable of type `::String`
-      │   ::Array[untyped] <: ::String
-      │     ::Object <: ::String
-      │       ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ d = a.each.with_object([]) do |i, xs|
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

data/smoke/extension/test.yaml

@@ -1,50 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:8:2: [error] Cannot assign a value of type `::Foo` to a variable of type `::String`
-      │   ::Foo <: ::String
-      │     ::Object <: ::String
-      │       ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   string = x
-          ~~~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:7:0: [error] Cannot assign a value of type `::String` to a variable of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ integer = foo.f()
-        ~~~~~~~~~~~~~~~~~
-    - |
-      b.rb:10:0: [error] Cannot assign a value of type `::Object` to a variable of type `::Integer`
-      │   ::Object <: ::Integer
-      │     ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ integer = "".f()
-        ~~~~~~~~~~~~~~~~
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:6:4: [error] Cannot assign a value of type `::Object` to a variable of type `::String`
-      │   ::Object <: ::String
-      │     ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     string = super()
-            ~~~~~~~~~~~~~~~~
-  d.rb:
-    diagnostics: []
-  e.rb:
-    diagnostics: []

data/smoke/hash/test.yaml

@@ -1,62 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics: []
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:6:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ x = { foo: 3 }
-        ~~~~~~~~~~~~~~
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:5:3: [error] Type `::Integer` does not have method `abcdefg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ id.abcdefg
-           ~~~~~~~
-    - |
-      c.rb:8:5: [error] Type `::String` does not have method `abcdefg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ name.abcdefg
-             ~~~~~~~
-    - |
-      c.rb:10:30: [error] Type `(::Integer | ::String)` does not have method `abcdefg`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ params[(_=nil) ? :id : :name].abcdefg
-                                      ~~~~~~~
-  d.rb:
-    diagnostics:
-    - |
-      d.rb:5:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ params = { id: "30", name: "foo", email: "matsumoto@soutaro.com" }
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-  e.rb:
-    diagnostics:
-    - |
-      e.rb:1:24: [error] Type `::Integer` does not have method `fffffffffffff`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ Foo.new.get({ foo: 3 }).fffffffffffff
-                                ~~~~~~~~~~~~~
-  f.rb:
-    diagnostics: []

data/smoke/hello/test.yaml

@@ -1,18 +0,0 @@
----
-test:
-  hello.rb:
-    diagnostics:
-    - |
-      hello.rb:9:6: [error] Type `::_Bar` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ b = y.foo
-              ~~~
-    - |
-      hello.rb:11:0: [error] Cannot assign a value of type `::_Bar` to a variable of type `::_Foo`
-      │   ::_Bar <: ::_Foo
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ x = y
-        ~~~~~

data/smoke/if/test.yaml

@@ -1,27 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:5:0: [error] Cannot assign a value of type `(::Symbol | nil)` to a variable of type `::String`
-      │   (::Symbol | nil) <: ::String
-      │     ::Symbol <: ::String
-      │       ::Object <: ::String
-      │         ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = if x
-        ~~~~~~~~
-    - |
-      a.rb:15:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = if z
-        ~~~~~~~~

data/smoke/implements/test.yaml

@@ -1,16 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:1:6: [error] Cannot find implementation of method `::A#baz`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ class A
-              ~
-    - |
-      a.rb:1:6: [error] Cannot find implementation of method `::A.bar`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ class A
-              ~

data/smoke/initialize/test.yaml

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

data/smoke/integer/test.yaml

@@ -1,66 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:4:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ integer_1.foo
-                  ~~~
-    - |
-      a.rb:7:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ integer_2.foo
-                  ~~~
-    - |
-      a.rb:12:20: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ integer_3 = Integer(WithToInt.new)
-                            ~~~~~~~~~
-    - |
-      a.rb:13:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ integer_3.foo
-                  ~~~
-    - |
-      a.rb:18:20: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ integer_4 = Integer(WithToI.new)
-                            ~~~~~~~
-    - |
-      a.rb:19:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ integer_4.foo
-                  ~~~
-    - |
-      a.rb:22:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ integer_5.foo
-                  ~~~
-    - |
-      a.rb:24:0: [error] Cannot find compatible overloading of method `Integer` of type `::Object`
-      │ Method types:
-      │   def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
-      │              | (::String, ?::Integer, ?exception: bool) -> ::Integer
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ Integer(Object.new)
-        ~~~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:26:0: [error] Cannot find compatible overloading of method `Integer` of type `::Object`
-      │ Method types:
-      │   def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
-      │              | (::String, ?::Integer, ?exception: bool) -> ::Integer
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ Integer(nil)
-        ~~~~~~~~~~~~

data/smoke/interface/test.yaml

@@ -1,16 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:5:12: [error] Type `::A::Object` does not have method `bar`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └     foo.foo.bar
-                    ~~~
-    - |
-      a.rb:10:11: [error] Type `::Object` does not have method `object?`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └     object.object?
-                   ~~~~~~~

data/smoke/kwbegin/test.yaml

@@ -1,14 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:3:0: [error] Cannot assign a value of type `::String` to a variable of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = begin
-        ~~~~~~~~~