steep 0.37.0 → 0.42.0

data/smoke/case/a.rb

@@ -1,6 +1,5 @@
 # @type var a: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | ::Array[::String] | nil | ::String)
 a = case 1
     when 2
       1
@@ -13,9 +12,7 @@ a = case 1
       "string"
     end
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | nil)
 a = case
-    # !expects* UnresolvedOverloading: receiver=::Integer, method_name=+,
     when 1+"a"
       30
     end

data/smoke/case/test_expectations.yml

@@ -0,0 +1,47 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 13
+        character: 7
+    severity: ERROR
+    message: |-
+      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
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 0
+      end:
+        line: 18
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
+        (::Integer | nil) <: ::Integer
+          nil <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 16
+        character: 9
+      end:
+        line: 16
+        character: 14
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `+` of type `::Integer`
+      Method types:
+        def +: (::Integer) -> ::Integer
+             | (::Float) -> ::Float
+             | (::Rational) -> ::Rational
+             | (::Complex) -> ::Complex
+    code: Ruby::UnresolvedOverloading

data/smoke/class/a.rb

@@ -5,13 +5,11 @@ class A
   end
 
   # A#bar is defined but the implementation is incompatible.
-  # !expects MethodArityMismatch: method=bar
   def bar(y)
     y
   end
 
   # Object#to_s is defined but the implementation is incompatible.
-  # !expects MethodBodyTypeMismatch: method=to_s, expected=::String, actual=::Integer
   def to_s
     3
   end
@@ -21,7 +19,6 @@ class A
     5
   end
 
-  # !expects MethodBodyTypeMismatch: method=self.baz, expected=::Integer, actual=::String
   def self.baz
     "baz"
   end

data/smoke/class/c.rb

@@ -1,4 +1,3 @@
-# !expects UnexpectedDynamicMethod: module=::B, method=type
 class B
   # @implements B
 

data/smoke/class/f.rb

@@ -6,5 +6,4 @@ d = (_ = nil)
 
 e = d
 
-# !expects IncompatibleAssignment: lhs_type=::D, rhs_type=::_E
 d = e

data/smoke/class/g.rb

@@ -1,8 +1,6 @@
-# !expects MethodDefinitionMissing: module=::B, method=name
 class B
 end
 
-# !expects MethodDefinitionMissing: module=::B, method=name
 class C
   # @implements ::B
 end

data/smoke/class/i.rb

@@ -1,14 +1,12 @@
 class IncompatibleChild
   def foo(arg)
     # @type var x: Symbol
-    # !expects IncompatibleAssignment: lhs_type=::Symbol, rhs_type=::Integer
     x = super()
 
     "123"
   end
 
   def initialize()
-    # !expects IncompatibleArguments: receiver=::IncompatibleChild, method_type=(name: ::String) -> untyped
     super()
 
     super

data/smoke/class/test_expectations.yml

@@ -0,0 +1,120 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 9
+      end:
+        line: 8
+        character: 12
+    severity: ERROR
+    message: Method parameters are incompatible with declaration `() -> ::String`
+    code: Ruby::MethodArityMismatch
+  - range:
+      start:
+        line: 13
+        character: 2
+      end:
+        line: 15
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `::Integer` because declared as type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::MethodBodyTypeMismatch
+  - range:
+      start:
+        line: 22
+        character: 2
+      end:
+        line: 24
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `::String` because declared as type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::MethodBodyTypeMismatch
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: "@dynamic annotation contains unknown method name `type`"
+    code: Ruby::UnexpectedDynamicMethod
+- file: f.rb
+  diagnostics:
+  - range:
+      start:
+        line: 9
+        character: 0
+      end:
+        line: 9
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::_E` to a variable of type `::D`
+        ::_E <: ::D
+    code: Ruby::IncompatibleAssignment
+- file: g.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::B#name`
+    code: Ruby::MethodDefinitionMissing
+  - range:
+      start:
+        line: 4
+        character: 6
+      end:
+        line: 4
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::B#name`
+    code: Ruby::MethodDefinitionMissing
+- file: i.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 4
+      end:
+        line: 4
+        character: 15
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
+        ::Integer <: ::Symbol
+          ::Numeric <: ::Symbol
+            ::Object <: ::Symbol
+              ::BasicObject <: ::Symbol
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 10
+        character: 4
+      end:
+        line: 10
+        character: 11
+    severity: ERROR
+    message: |-
+      Cannot find method `initialize` of type `::IncompatibleChild` with compatible arity
+      Method types:
+        def initialize: (name: ::String) -> untyped
+    code: Ruby::IncompatibleArguments

data/smoke/const/a.rb

@@ -1,7 +1,6 @@
 # @type const A: Integer
 # @type var x: String
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 x = A
 
 x = B
@@ -12,7 +11,6 @@ module X
   def foo
     # @type var x: String
 
-    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
     x = A
 
     x = B
@@ -22,7 +20,6 @@ end
 
 # @type const Foo::Bar::Baz: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
 x = Foo::Bar::Baz
 
 z = Foo

data/smoke/const/b.rb

@@ -0,0 +1,7 @@
+module Foo
+  module Bar
+    Baz = "Hello"
+
+    Baz2 = "World"
+  end
+end

data/smoke/const/b.rbs

@@ -0,0 +1,5 @@
+module Foo
+  module Bar
+    Baz: Integer
+  end
+end

data/smoke/const/test_expectations.yml

@@ -0,0 +1,139 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 4
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 5
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 8
+        character: 7
+      end:
+        line: 8
+        character: 8
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 14
+        character: 4
+      end:
+        line: 14
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 16
+        character: 8
+      end:
+        line: 16
+        character: 9
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 23
+        character: 0
+      end:
+        line: 23
+        character: 17
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 26
+        character: 4
+      end:
+        line: 26
+        character: 10
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 26
+        character: 4
+      end:
+        line: 26
+        character: 15
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 27
+        character: 0
+      end:
+        line: 27
+        character: 19
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 4
+      end:
+        line: 3
+        character: 17
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a constant of type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 5
+        character: 4
+      end:
+        line: 5
+        character: 8
+    severity: ERROR
+    message: Cannot find the declaration of constant `Baz2`
+    code: Ruby::UnknownConstantAssigned

data/smoke/diagnostics-rbs-duplicated/Steepfile

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

data/smoke/diagnostics-rbs-duplicated/a.rbs

@@ -0,0 +1,5 @@
+class A
+end
+
+module A
+end

data/smoke/diagnostics-rbs-duplicated/test_expectations.yml

@@ -0,0 +1,13 @@
+---
+- file: a.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 5
+        character: 3
+    severity: ERROR
+    message: Declaration of `::A` is duplicated
+    code: RBS::DuplicatedDeclaration