steep 0.40.0 → 0.41.0

data/smoke/alias/test.yaml

@@ -1,73 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:4:0: [error] 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)
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ x + 123
-        ~~~~~~~
-    - |
-      a.rb:13:2: [error] Cannot assign a value of type `::String` to a variable of type `::Symbol`
-      │   ::String <: ::Symbol
-      │     ::Object <: ::Symbol
-      │       ::BasicObject <: ::Symbol
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   z = x
-          ~~~~~
-    - |
-      a.rb:15:2: [error] Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
-      │   ::Integer <: ::Symbol
-      │     ::Numeric <: ::Symbol
-      │       ::Object <: ::Symbol
-      │         ::BasicObject <: ::Symbol
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └   z = x
-          ~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:6: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
-      │
-      └ x = a[0]
-        ~~~~~~~~
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:3: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 = AliasMethodArg.new.foo(:foo)
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      c.rb:8: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 = AliasMethodArg.new.foo(name)
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

data/smoke/and/test.yaml

@@ -1,24 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:0: [error] Cannot assign a value of type `(::String | nil)` to a variable of type `::String`
-      │   (::String | nil) <: ::String
-      │     nil <: ::String
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ b = a && a.to_str
-        ~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:8:0: [error] Cannot assign a value of type `(::String | nil)` to a variable of type `::Integer`
-      │   (::String | nil) <: ::Integer
-      │     ::String <: ::Integer
-      │       ::Object <: ::Integer
-      │         ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ c = a && a.to_str
-        ~~~~~~~~~~~~~~~~~

data/smoke/array/test.yaml

@@ -1,80 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:6:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ a[2] = "foo"
-        ~~~~~~~~~~~~
-    - |
-      a.rb:12: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
-      │
-      └ s = a[1]
-        ~~~~~~~~
-    - |
-      a.rb:18: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
-      │
-      └ i = b[1]
-        ~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:11: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
-      │
-      └ b = a
-        ~~~~~
-    - |
-      b.rb:12: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
-      │
-      └ a = b
-        ~~~~~
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:6:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ x = [1]
-        ~~~~~~~

data/smoke/block/test.yaml

@@ -1,96 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:8: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
-      │
-      └ s = a.foo
-        ~~~~~~~~~
-    - |
-      a.rb:10: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
-      │
-      └ i = a.foo { nil }
-        ~~~~~~~~~~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:5:2: [error] Cannot break with a value of type `::Integer` because type `::Symbol` is assumed
-      │   ::Integer <: ::Symbol
-      │     ::Numeric <: ::Symbol
-      │       ::Object <: ::Symbol
-      │         ::BasicObject <: ::Symbol
-      │
-      │ Diagnostic ID: Ruby::BreakTypeMismatch
-      │
-      └   break 3
-          ~~~~~~~
-    - |
-      b.rb:10:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ s = a.bar do |x|
-        ~~~~~~~~~~~~~~~~
-  c.rb:
-    diagnostics: []
-  d.rb:
-    diagnostics:
-    - |
-      d.rb:6:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ b = [1,2,3].map(&a)
-        ~~~~~~~~~~~~~~~~~~~
-    - |
-      d.rb:8:0: [error] 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
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ b = [1,2,3].map(&:to_s)
-        ~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      d.rb:10:0: [error] Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
-      │ Method types:
-      │   def map: [U] () { (::Integer) -> U } -> ::Array[U]
-      │          | () -> ::Enumerator[::Integer, ::Array[untyped]]
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ [1,2,3].map(&:no_such_method)
-        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-    - |
-      d.rb:11:0: [error] Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
-      │ Method types:
-      │   def map: [U] () { (::Integer) -> U } -> ::Array[U]
-      │          | () -> ::Enumerator[::Integer, ::Array[untyped]]
-      │
-      │ Diagnostic ID: Ruby::UnresolvedOverloading
-      │
-      └ [1,2,3].map(&:divmod)
-        ~~~~~~~~~~~~~~~~~~~~~

data/smoke/broken/Steepfile

@@ -1,5 +0,0 @@
-target :test do
-  typing_options :strict
-  check "*.rb"
-  signature "*.rbs"
-end

data/smoke/broken/test.yaml

@@ -1,6 +0,0 @@
----
-test:
-  broken.rbs:
-    diagnostics: []
-  broken.rb:
-    diagnostics: []

data/smoke/case/test.yaml

@@ -1,36 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:3:0: [error] Cannot assign a value of type `(::Integer | ::Array[::String] | nil | ::String)` to a variable of type `::Integer`
-      │   (::Integer | ::Array[::String] | nil | ::String) <: ::Integer
-      │     ::Array[::String] <: ::Integer
-      │       ::Object <: ::Integer
-      │         ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = case 1
-        ~~~~~~~~~~
-    - |
-      a.rb:16:9: [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
-      │
-      └     when 1+"a"
-                 ~~~~~
-    - |
-      a.rb:15:0: [error] Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
-      │   (::Integer | nil) <: ::Integer
-      │     nil <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ a = case
-        ~~~~~~~~

data/smoke/class/test.yaml

@@ -1,89 +0,0 @@
----
-test:
-  a.rb:
-    diagnostics:
-    - |
-      a.rb:8:9: [error] Method parameters are incompatible with declaration `() -> ::String`
-      │ Diagnostic ID: Ruby::MethodArityMismatch
-      │
-      └   def bar(y)
-                 ~~~
-    - |
-      a.rb:13:2: [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 to_s
-          ~~~~~~~~
-    - |
-      a.rb:22:2: [error] Cannot allow method body have type `::String` because declared as type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
-      │
-      └   def self.baz
-          ~~~~~~~~~~~~
-  b.rb:
-    diagnostics: []
-  c.rb:
-    diagnostics:
-    - |
-      c.rb:1:6: [error] @dynamic annotation contains unknown method name `type`
-      │ Diagnostic ID: Ruby::UnexpectedDynamicMethod
-      │
-      └ class B
-              ~
-  f.rb:
-    diagnostics:
-    - |
-      f.rb:9:0: [error] Cannot assign a value of type `::_E` to a variable of type `::D`
-      │   ::_E <: ::D
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └ d = e
-        ~~~~~
-  g.rb:
-    diagnostics:
-    - |
-      g.rb:1:6: [error] Cannot find implementation of method `::B#name`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ class B
-              ~
-    - |
-      g.rb:4:6: [error] Cannot find implementation of method `::B#name`
-      │ Diagnostic ID: Ruby::MethodDefinitionMissing
-      │
-      └ class C
-              ~
-  h.rb:
-    diagnostics: []
-  i.rb:
-    diagnostics:
-    - |
-      i.rb:4:4: [error] Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
-      │   ::Integer <: ::Symbol
-      │     ::Numeric <: ::Symbol
-      │       ::Object <: ::Symbol
-      │         ::BasicObject <: ::Symbol
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     x = super()
-            ~~~~~~~~~~~
-    - |
-      i.rb:10:4: [error] Cannot find method `initialize` of type `::IncompatibleChild` with compatible arity
-      │ Method types:
-      │   def initialize: (name: ::String) -> untyped
-      │
-      │ Diagnostic ID: Ruby::IncompatibleArguments
-      │
-      └     super()
-            ~~~~~~~

data/smoke/const/test.yaml

@@ -1,96 +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 = A
-        ~~~~~
-    - |
-      a.rb:6:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ x = B
-            ~
-    - |
-      a.rb:8:7: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ module X
-               ~
-    - |
-      a.rb:14: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 = A
-            ~~~~~
-    - |
-      a.rb:16:8: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └     x = B
-                ~
-    - |
-      a.rb:23: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 = Foo::Bar::Baz
-        ~~~~~~~~~~~~~~~~~
-    - |
-      a.rb:26:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ x = z::Bar::Baz
-            ~~~~~~
-    - |
-      a.rb:26:4: [error] Cannot detect the type of the expression
-      │ Diagnostic ID: Ruby::FallbackAny
-      │
-      └ x = z::Bar::Baz
-            ~~~~~~~~~~~
-    - |
-      a.rb:27: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 = ::Foo::Bar::Baz
-        ~~~~~~~~~~~~~~~~~~~
-  b.rb:
-    diagnostics:
-    - |
-      b.rb:3:4: [error] Cannot assign a value of type `::String` to a constant of type `::Integer`
-      │   ::String <: ::Integer
-      │     ::Object <: ::Integer
-      │       ::BasicObject <: ::Integer
-      │
-      │ Diagnostic ID: Ruby::IncompatibleAssignment
-      │
-      └     Baz = "Hello"
-            ~~~~~~~~~~~~~
-    - |
-      b.rb:5:4: [error] Cannot find the declaration of constant `Baz2`
-      │ Diagnostic ID: Ruby::UnknownConstantAssigned
-      │
-      └     Baz2 = "World"
-            ~~~~