steep 0.40.0 → 0.44.0

data/smoke/lambda/test.yaml

@@ -1,28 +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 = -> (x, y) do
-        ~~~~~~~~~~~~~~~~
-    - |
-      a.rb:11:4: [error] Type `nil` does not have method `+`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   x + 1
-            ~
-    - |
-      a.rb:10:0: [error] Cannot assign a value of type `::Proc` to a variable of type `^(::Integer) -> ::Integer`
-      │   ::Proc <: ^(::Integer) -> ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ b = lambda do |x|
-        ~~~~~~~~~~~~~~~~~

data/smoke/literal/test.yaml

@@ -1,79 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:4:0: [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 = 1
-        ~~~~~
-    - |
-      a.rb:6:0: [error] Cannot assign a value of type `::Symbol` to a variable of type `::String`
-      │   ::Symbol <: ::String
-      │     ::Object <: ::String
-      │       ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ x = :foo
-        ~~~~~~~~
-    - |
-      a.rb:8: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
-      │
-      └ y = "foo"
-        ~~~~~~~~~
-    - |
-      a.rb:10:0: [error] Cannot assign a value of type `bool` to a variable of type `::String`
-      │   bool <: ::String
-      │     (true | false) <: ::String
-      │       true <: ::String
-      │         ::TrueClass <: ::String
-      │           ::Object <: ::String
-      │             ::BasicObject <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ x = true
-        ~~~~~~~~
-    - |
-      a.rb:11:0: [error] Cannot assign a value of type `bool` to a variable of type `::Integer`
-      │   bool <: ::Integer
-      │     (true | false) <: ::Integer
-      │       true <: ::Integer
-      │         ::TrueClass <: ::Integer
-      │           ::Object <: ::Integer
-      │             ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ y = false
-        ~~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:4:6: [error] Cannot pass a value of type `::Integer` as an argument of type `3`
-      │   ::Integer <: 3
-      │
-      │ Diagnostic ID: Ruby::ArgumentTypeMismatch
-      │
-      └ l.foo(4)
-              ~
-    - |
-      b.rb:7:11: [error] Cannot assign a value of type `::Symbol` to an expression of type `:foo`
-      │   ::Symbol <: :foo
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ l.bar(foo: :bar)
-                   ~~~~

data/smoke/map/test.yaml

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

data/smoke/method/test.yaml

@@ -1,71 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:2: [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
-      │
-      └   z = x
-          ~~~~~
-    - |
-      a.rb:8:2: [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
-      │
-      └   z = y
-          ~~~~~
-    - |
-      a.rb:3: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(x, y:)
-        ~~~~~~~~~~~~~~
-    - |
-      a.rb:15:7: [error] Method parameters are incompatible with declaration `(::Integer) -> ::String`
-      │ Diagnostic ID: Ruby::MethodArityMismatch
-      │
-      └ def bar(x, y)
-               ~~~~~~
-    - |
-      a.rb:18:2: [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
-      │
-      └   z = x
-          ~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:4:2: [error] Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`
-      │   ::Symbol <: (::Integer | ::String)
-      │     ::Symbol <: ::Integer
-      │       ::Object <: ::Integer
-      │         ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
-      │
-      └   def foo(x)
-          ~~~~~~~~~~
-  c.rb:
-    diagnostics: []
-  d.rb:
-    diagnostics: []

data/smoke/module/test.yaml

@@ -1,51 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:13: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
-      │
-      └     s = n
-            ~~~~~
-    - |
-      a.rb:15:4: [error] Type `(::Object & ::_Each2[::Integer, ::A] & ::A)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └     foo()
-            ~~~
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:21:2: [error] Type `singleton(::A)` does not have method `no_such_method_in_module`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   no_such_method_in_module
-          ~~~~~~~~~~~~~~~~~~~~~~~~
-  d.rb:
-    diagnostics:
-    - |
-      d.rb:3:7: [error] Cannot find implementation of method `::X#foo`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ module X
-               ~
-  f.rb:
-    diagnostics:
-    - |
-      f.rb:1:7: [error] Cannot find implementation of method `::Palette.nestopia_palette`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ module Palette
-               ~~~~~~~
-    - |
-      f.rb:1:7: [error] @dynamic annotation contains unknown method name `nestopia_palette`
-      │ Diagnostic ID: Ruby::UnexpectedDynamicMethod
-      │
-      └ module Palette
-               ~~~~~~~

data/smoke/regexp/test.yaml

@@ -1,372 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:2:6: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ new_1.foo
-              ~~~
-    - |
-      a.rb:5:6: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ new_2.foo
-              ~~~
-    - |
-      a.rb:8:6: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ new_3.foo
-              ~~~
-    - |
-      a.rb:11:6: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ new_4.foo
-              ~~~
-    - |
-      a.rb:14:10: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ compile_1.foo
-                  ~~~
-    - |
-      a.rb:17:10: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ compile_2.foo
-                  ~~~
-    - |
-      a.rb:20:10: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ compile_3.foo
-                  ~~~
-    - |
-      a.rb:23:10: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ compile_4.foo
-                  ~~~
-    - |
-      a.rb:26:9: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ escape_1.foo
-                 ~~~
-    - |
-      a.rb:29:13: [error] Type `(::MatchData | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ last_match_1.foo
-                     ~~~
-    - |
-      a.rb:32:13: [error] Type `(::String | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ last_match_2.foo
-                     ~~~
-    - |
-      a.rb:35:8: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ quote_1.foo
-                ~~~
-    - |
-      a.rb:38:14: [error] Type `(::Regexp | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ try_convert_1.foo
-                      ~~~
-    - |
-      a.rb:41:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_1.foo
-                ~~~
-    - |
-      a.rb:44:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_2.foo
-                ~~~
-    - |
-      a.rb:47:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_3.foo
-                ~~~
-    - |
-      a.rb:50:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_4.foo
-                ~~~
-    - |
-      a.rb:53:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_5.foo
-                ~~~
-    - |
-      a.rb:56:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_6.foo
-                ~~~
-    - |
-      a.rb:59:8: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ union_7.foo
-                ~~~
-    - |
-      a.rb:62:12: [error] Type `bool` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ op_eqeqeq_1.foo
-                    ~~~
-    - |
-      a.rb:68:11: [error] Type `bool` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ casefold_1.foo
-                   ~~~
-    - |
-      a.rb:71:11: [error] Type `::Encoding` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ encoding_1.foo
-                   ~~~
-    - |
-      a.rb:74:17: [error] Type `bool` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ fixed_encoding_1.foo
-                         ~~~
-    - |
-      a.rb:77:8: [error] Type `(::MatchData | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ match_1.foo
-                ~~~
-    - |
-      a.rb:80:8: [error] Type `(::MatchData | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ match_2.foo
-                ~~~
-    - |
-      a.rb:83:4: [error] Type `::MatchData` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   m.foo
-            ~~~
-    - |
-      a.rb:87:4: [error] Type `::MatchData` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   m.foo
-            ~~~
-    - |
-      a.rb:91:10: [error] Type `bool` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ match_q_1.foo
-                  ~~~
-    - |
-      a.rb:94:10: [error] Type `bool` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ match_q_2.foo
-                  ~~~
-    - |
-      a.rb:97:17: [error] Type `::Hash[::String, ::Array[::Integer]]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ named_captures_1.foo
-                         ~~~
-    - |
-      a.rb:100:8: [error] Type `::Array[::String]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ names_1.foo
-                ~~~
-    - |
-      a.rb:103:10: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ options_1.foo
-                  ~~~
-    - |
-      a.rb:106:9: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ source_1.foo
-                 ~~~
-    - |
-      a.rb:109:17: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └ op_unary_match_1.foo
-                         ~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:3:14: [error] Type `(::String | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   match_ref_1.foo
-                      ~~~
-    - |
-      b.rb:6:14: [error] Type `(::String | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   match_ref_2.foo
-                      ~~~
-    - |
-      b.rb:9:14: [error] Type `(::String | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   match_ref_3.foo
-                      ~~~
-    - |
-      b.rb:12:14: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   match_ref_4.foo
-                      ~~~
-    - |
-      b.rb:15:14: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   match_ref_5.foo
-                      ~~~
-    - |
-      b.rb:18:10: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   begin_1.foo
-                  ~~~
-    - |
-      b.rb:21:10: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   begin_2.foo
-                  ~~~
-    - |
-      b.rb:24:10: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   begin_3.foo
-                  ~~~
-    - |
-      b.rb:27:13: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   captures_1.foo
-                     ~~~
-    - |
-      b.rb:30:8: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   end_1.foo
-                ~~~
-    - |
-      b.rb:33:8: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   end_2.foo
-                ~~~
-    - |
-      b.rb:36:8: [error] Type `(::Integer | nil)` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   end_3.foo
-                ~~~
-    - |
-      b.rb:39:11: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   length_1.foo
-                   ~~~
-    - |
-      b.rb:42:19: [error] Type `::Hash[::String, (::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   named_captures_1.foo
-                           ~~~
-    - |
-      b.rb:45:10: [error] Type `::Array[::String]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   names_1.foo
-                  ~~~
-    - |
-      b.rb:48:11: [error] Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   offset_1.foo
-                   ~~~
-    - |
-      b.rb:51:11: [error] Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   offset_2.foo
-                   ~~~
-    - |
-      b.rb:54:11: [error] Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   offset_3.foo
-                   ~~~
-    - |
-      b.rb:57:15: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   post_match_1.foo
-                       ~~~
-    - |
-      b.rb:60:14: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   pre_match_1.foo
-                      ~~~
-    - |
-      b.rb:63:11: [error] Type `::Regexp` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   regexp_1.foo
-                   ~~~
-    - |
-      b.rb:66:9: [error] Type `::Integer` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   size_1.foo
-                 ~~~
-    - |
-      b.rb:69:11: [error] Type `::String` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   string_1.foo
-                   ~~~
-    - |
-      b.rb:72:9: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   to_a_1.foo
-                 ~~~
-    - |
-      b.rb:75:14: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   values_at_1.foo
-                      ~~~
-    - |
-      b.rb:78:14: [error] Type `::Array[(::String | nil)]` does not have method `foo`
-      │ Diagnostic ID: Ruby::NoMethod
-      │
-      └   values_at_2.foo
-                      ~~~