steep 0.40.0 → 0.44.0

data/smoke/regression/issue_328.rb

@@ -0,0 +1 @@
+["abc", "d", ""].to_h { |e| [e, e.size] }

data/smoke/regression/issue_332.rb

@@ -0,0 +1,11 @@
+module Issue332
+  module TimeDurationExtensions
+    def -(other)
+      if other.is_a?(Duration)
+        Time.now
+      else
+        super(other)
+      end
+    end
+  end
+end

data/smoke/regression/issue_332.rbs

@@ -0,0 +1,19 @@
+module Issue332
+  class Duration
+  end
+
+  interface _TimeDurationExtensions
+    def -: (Numeric other) -> Time
+         | (Time other) -> Float
+  end
+
+  module TimeDurationExtensions : _TimeDurationExtensions
+    def -: (Duration other) -> Time
+         | ...
+  end
+end
+
+class Time
+  prepend Issue332::TimeDurationExtensions
+end
+

data/smoke/regression/issue_372.rb

@@ -0,0 +1,8 @@
+class Issue372
+  def f(&block)
+  end
+
+  def g(&block)
+    f(&block)
+  end
+end

data/smoke/regression/issue_372.rbs

@@ -0,0 +1,4 @@
+class Issue372
+  def f: () ?{ () -> void } -> void
+  def g: () ?{ () -> void } -> void
+end

data/smoke/regression/masgn.rb

@@ -0,0 +1,4 @@
+* = [1,2,3]
+*, a = [1,2,3]
+
+p a

data/smoke/regression/test_expectations.yml

@@ -0,0 +1,60 @@
+---
+- file: issue_332.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 8
+      end:
+        line: 7
+        character: 20
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `-` of type `(::Object & ::Issue332::_TimeDurationExtensions & ::Issue332::TimeDurationExtensions)`
+      Method types:
+        def -: (::Issue332::Duration) -> ::Time
+             | (::Numeric) -> ::Time
+             | (::Time) -> ::Float
+    code: Ruby::UnresolvedOverloading
+- file: set_divide.rb
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 10
+    severity: ERROR
+    message: Type `::Set[::String]` does not have method `ffffffff`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 5
+        character: 4
+      end:
+        line: 5
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 11
+        character: 4
+      end:
+        line: 11
+        character: 9
+    severity: ERROR
+    message: Type `::String` does not have method `ggggg`
+    code: Ruby::NoMethod

data/smoke/regression/thread.rb

@@ -0,0 +1,7 @@
+Thread.new do
+  Thread.stop
+end
+
+
+Thread.start do
+end

data/smoke/rescue/test_expectations.yml

@@ -0,0 +1,79 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 7
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+        (::String | ::Integer) <: ::Integer
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 18
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
+        (::String | ::Integer) <: ::Integer
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 0
+      end:
+        line: 21
+        character: 7
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 25
+        character: 0
+      end:
+        line: 33
+        character: 7
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 37
+        character: 0
+      end:
+        line: 41
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`
+        (::Integer | ::String) <: ::String
+          ::Integer <: ::String
+            ::Numeric <: ::String
+              ::Object <: ::String
+                ::BasicObject <: ::String
+    code: Ruby::MethodBodyTypeMismatch

data/smoke/self/test_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 16
+        character: 2
+      end:
+        line: 16
+        character: 5
+    severity: ERROR
+    message: Type `::Object` does not have method `baz`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 19
+        character: 4
+      end:
+        line: 19
+        character: 7
+    severity: ERROR
+    message: Type `::Object` does not have method `baz`
+    code: Ruby::NoMethod

data/smoke/skip/test_expectations.yml

@@ -0,0 +1,23 @@
+---
+- file: skip.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 7
+      end:
+        line: 8
+        character: 21
+    severity: ERROR
+    message: Type `::Object` does not have method `no_such_method`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 7
+      end:
+        line: 12
+        character: 21
+    severity: ERROR
+    message: Type `::Object` does not have method `no_such_method`
+    code: Ruby::NoMethod

data/smoke/stdout/test_expectations.yml

@@ -0,0 +1 @@
+--- []

data/smoke/super/test_expectations.yml

@@ -0,0 +1,69 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        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
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 13
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::Integer`
+        ::Object <: ::Integer
+          ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 19
+        character: 4
+      end:
+        line: 19
+        character: 11
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 20
+        character: 4
+      end:
+        line: 20
+        character: 9
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 26
+        character: 4
+      end:
+        line: 26
+        character: 11
+    severity: ERROR
+    message: No superclass method `baz` defined
+    code: Ruby::UnexpectedSuper
+  - range:
+      start:
+        line: 28
+        character: 4
+      end:
+        line: 28
+        character: 9
+    severity: ERROR
+    message: No superclass method `baz` defined
+    code: Ruby::UnexpectedSuper

data/smoke/toplevel/test_expectations.yml

@@ -0,0 +1,15 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 0
+      end:
+        line: 3
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `nil` because declared as type `::String`
+        nil <: ::String
+    code: Ruby::MethodBodyTypeMismatch

data/smoke/tsort/Steepfile

@@ -2,5 +2,7 @@ target :test do
   signature "."
   check "."
 
+  typing_options :strict
+
   library "tsort"
 end

data/smoke/tsort/test_expectations.yml

@@ -0,0 +1,63 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 0
+      end:
+        line: 7
+        character: 38
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 34
+      end:
+        line: 7
+        character: 35
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 9
+        character: 0
+      end:
+        line: 9
+        character: 41
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 9
+        character: 37
+      end:
+        line: 9
+        character: 38
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 12
+        character: 0
+      end:
+        line: 12
+        character: 39
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment

data/smoke/type_case/test_expectations.yml

@@ -0,0 +1,48 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 10
+    severity: ERROR
+    message: Type `(::Integer | ::String)` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 4
+      end:
+        line: 12
+        character: 10
+    severity: ERROR
+    message: Type `(::Integer | ::String | ::Symbol)` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 17
+        character: 4
+      end:
+        line: 17
+        character: 10
+    severity: ERROR
+    message: Type `1` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 23
+        character: 2
+      end:
+        line: 23
+        character: 7
+    severity: ERROR
+    message: |-
+      Type annotation about `x` is incompatible since ::Integer <: ::String doesn't hold
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAnnotation