steep 0.43.1 → 0.46.0

data/smoke/diagnostics-rbs/Steepfile

@@ -2,7 +2,7 @@ all_sigs = Pathname.glob("*.rbs")
 
 all_sigs.each do |path|
   target path.basename(".rbs").to_s.to_sym do
-    typing_options :strict
     signature path.to_s
+    configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
   end
 end

data/smoke/diagnostics-rbs/mixin-class-error.rbs

@@ -0,0 +1,6 @@
+class Foo
+end
+
+class Bar
+  include Foo
+end

data/smoke/diagnostics-rbs/test_expectations.yml

@@ -229,3 +229,15 @@
     severity: ERROR
     message: Cannot find type `ZZZ`
     code: RBS::UnknownTypeName
+- file: mixin-class-error.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 2
+      end:
+        line: 5
+        character: 13
+    severity: ERROR
+    message: Cannot include a class `::Foo` in the definition of `::Bar`
+    code: RBS::MixinClassError

data/smoke/diagnostics-rbs-duplicated/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/diagnostics-ruby-unsat/Steepfile

@@ -0,0 +1,6 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
+end

data/smoke/diagnostics-ruby-unsat/a.rbs

@@ -0,0 +1,3 @@
+class UnsatisfiableConstraint
+  def foo: [A, B] (A) { (A) -> void } -> B
+end

data/smoke/diagnostics-ruby-unsat/test_expectations.yml

@@ -0,0 +1,27 @@
+---
+- file: unsatisfiable_constraint.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 6
+        character: 3
+    severity: ERROR
+    message: |-
+      Unsatisfiable constraint `::Array[untyped] <: A(2) <: ::String` is generated through (A(2)) { (A(2)) -> void } -> B(3)
+        ::Array[untyped] <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::UnsatisfiableConstraint
+  - range:
+      start:
+        line: 5
+        character: 4
+      end:
+        line: 5
+        character: 7
+    severity: ERROR
+    message: Type `::String` does not have method `foo`
+    code: Ruby::NoMethod

data/smoke/{diagnostics → diagnostics-ruby-unsat}/unsatisfiable_constraint.rb

@@ -1,4 +1,3 @@
-
 test = UnsatisfiableConstraint.new
 
 test.foo([]) do |x|

data/smoke/dstr/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/ensure/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/ensure/test_expectations.yml

@@ -32,10 +32,10 @@
   - range:
       start:
         line: 13
-        character: 0
+        character: 4
       end:
-        line: 18
-        character: 3
+        line: 13
+        character: 7
     severity: ERROR
     message: |-
       Cannot allow method body have type `::Integer` because declared as type `::String`

data/smoke/enumerator/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/enumerator/test_expectations.yml

@@ -102,7 +102,7 @@
       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]]
+                       | [U] (U) -> ::Enumerator[[::Integer, U], U]
     code: Ruby::UnresolvedOverloading
   - range:
       start:

data/smoke/extension/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/hash/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/hello/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/if/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/implements/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/initialize/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/integer/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/interface/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/kwbegin/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/lambda/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/literal/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/literal/test_expectations.yml

@@ -101,6 +101,6 @@
         character: 15
     severity: ERROR
     message: |-
-      Cannot assign a value of type `::Symbol` to an expression of type `:foo`
+      Cannot pass a value of type `::Symbol` as an argument of type `:foo`
         ::Symbol <: :foo
-    code: Ruby::IncompatibleAssignment
+    code: Ruby::ArgumentTypeMismatch

data/smoke/map/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/method/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/method/test_expectations.yml

@@ -4,10 +4,10 @@
   - range:
       start:
         line: 3
-        character: 0
+        character: 4
       end:
-        line: 11
-        character: 3
+        line: 3
+        character: 7
     severity: ERROR
     message: |-
       Cannot allow method body have type `::Integer` because declared as type `::String`
@@ -49,13 +49,14 @@
   - range:
       start:
         line: 15
-        character: 7
+        character: 11
       end:
         line: 15
-        character: 13
+        character: 12
     severity: ERROR
-    message: Method parameters are incompatible with declaration `(::Integer) -> ::String`
-    code: Ruby::MethodArityMismatch
+    message: The method parameter is incompatible with the declaration `(::Integer)
+      -> ::String`
+    code: Ruby::MethodParameterMismatch
   - range:
       start:
         line: 18
@@ -76,10 +77,10 @@
   - range:
       start:
         line: 4
-        character: 2
+        character: 6
       end:
-        line: 6
-        character: 5
+        line: 4
+        character: 9
     severity: ERROR
     message: |-
       Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`

data/smoke/module/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/regexp/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/regression/Steepfile

@@ -1,6 +1,7 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
   library "set"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 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/test_expectations.yml

@@ -58,15 +58,3 @@
     severity: ERROR
     message: Type `::String` does not have method `ggggg`
     code: Ruby::NoMethod
-- file: thread.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 13
-      end:
-        line: 7
-        character: 3
-    severity: ERROR
-    message: The method cannot be called with a block
-    code: Ruby::UnexpectedBlockGiven

data/smoke/rescue/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/rescue/test_expectations.yml

@@ -64,10 +64,10 @@
   - range:
       start:
         line: 37
-        character: 0
+        character: 4
       end:
-        line: 41
-        character: 3
+        line: 37
+        character: 7
     severity: ERROR
     message: |-
       Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`

data/smoke/self/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/skip/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/stdout/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/super/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end