steep 0.43.0 → 0.45.0

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/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/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/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/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/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/toplevel/test_expectations.yml

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

data/smoke/tsort/test_expectations.yml

@@ -32,8 +32,8 @@
         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
+      Cannot assign a value of type `^(::Integer) -> ::Enumerator[::Integer, ::Array[::Integer]]` to a variable of type `^(::Integer) { (::Integer) -> void } -> void`
+        ^(::Integer) -> ::Enumerator[::Integer, ::Array[::Integer]] <: ^(::Integer) { (::Integer) -> void } -> void
     code: Ruby::IncompatibleAssignment
   - range:
       start:

data/steep.gemspec

@@ -28,12 +28,12 @@ Gem::Specification.new do |spec|
 
   spec.required_ruby_version = '>= 2.6.0'
 
-  spec.add_runtime_dependency "parser", ">= 2.7"
+  spec.add_runtime_dependency "parser", ">= 3.0"
   spec.add_runtime_dependency "activesupport", ">= 5.1"
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.0"
   spec.add_runtime_dependency "language_server-protocol", ">= 3.15", "< 4.0"
-  spec.add_runtime_dependency "rbs", "~> 1.1.0"
+  spec.add_runtime_dependency "rbs", ">= 1.2.0"
   spec.add_runtime_dependency "parallel", ">= 1.0.0"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.43.0
+  version: 0.45.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-03-30 00:00:00.000000000 Z
+date: 2021-08-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.7'
+        version: '3.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.7'
+        version: '3.0'
 - !ruby/object:Gem::Dependency
   name: activesupport
   requirement: !ruby/object:Gem::Requirement
@@ -96,16 +96,16 @@ dependencies:
   name: rbs
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.0
+        version: 1.2.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.0
+        version: 1.2.0
 - !ruby/object:Gem::Dependency
   name: parallel
   requirement: !ruby/object:Gem::Requirement
@@ -148,11 +148,13 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- ".github/dependabot.yml"
 - ".github/workflows/ruby.yml"
 - ".gitignore"
 - ".gitmodules"
 - CHANGELOG.md
 - Gemfile
+- Gemfile.lock
 - LICENSE
 - README.md
 - Rakefile
@@ -209,6 +211,7 @@ files:
 - lib/steep/drivers/vendor.rb
 - lib/steep/drivers/watch.rb
 - lib/steep/drivers/worker.rb
+- lib/steep/equatable.rb
 - lib/steep/expectations.rb
 - lib/steep/index/rbs_index.rb
 - lib/steep/index/signature_symbol_provider.rb
@@ -236,6 +239,7 @@ files:
 - lib/steep/services/completion_provider.rb
 - lib/steep/services/content_change.rb
 - lib/steep/services/file_loader.rb
+- lib/steep/services/goto_service.rb
 - lib/steep/services/hover_content.rb
 - lib/steep/services/path_assignment.rb
 - lib/steep/services/signature_service.rb
@@ -259,6 +263,7 @@ files:
 - lib/steep/type_inference/logic.rb
 - lib/steep/type_inference/logic_type_interpreter.rb
 - lib/steep/type_inference/method_call.rb
+- lib/steep/type_inference/method_params.rb
 - lib/steep/type_inference/send_args.rb
 - lib/steep/type_inference/type_env.rb
 - lib/steep/typing.rb
@@ -268,6 +273,7 @@ files:
 - sample/lib/conference.rb
 - sample/sig/conference.rbs
 - sig/project.rbi
+- sig/steep/type_inference/send_args.rbs
 - smoke/alias/Steepfile
 - smoke/alias/a.rb
 - smoke/alias/a.rbs
@@ -319,6 +325,7 @@ files:
 - smoke/diagnostics-rbs/invalid-method-overload.rbs
 - smoke/diagnostics-rbs/invalid-type-application.rbs
 - smoke/diagnostics-rbs/invalid_variance_annotation.rbs
+- smoke/diagnostics-rbs/mixin-class-error.rbs
 - smoke/diagnostics-rbs/recursive-alias.rbs
 - smoke/diagnostics-rbs/recursive-class.rbs
 - smoke/diagnostics-rbs/superclass-mismatch.rbs
@@ -326,12 +333,17 @@ files:
 - smoke/diagnostics-rbs/unknown-method-alias.rbs
 - smoke/diagnostics-rbs/unknown-type-name-2.rbs
 - smoke/diagnostics-rbs/unknown-type-name.rbs
+- smoke/diagnostics-ruby-unsat/Steepfile
+- smoke/diagnostics-ruby-unsat/a.rbs
+- smoke/diagnostics-ruby-unsat/test_expectations.yml
+- smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb
 - smoke/diagnostics/Steepfile
 - smoke/diagnostics/a.rbs
 - smoke/diagnostics/argument_type_mismatch.rb
 - smoke/diagnostics/block_body_type_mismatch.rb
 - smoke/diagnostics/block_type_mismatch.rb
 - smoke/diagnostics/break_type_mismatch.rb
+- smoke/diagnostics/different_method_parameter_kind.rb
 - smoke/diagnostics/else_on_exhaustive_case.rb
 - smoke/diagnostics/incompatible_annotation.rb
 - smoke/diagnostics/incompatible_argument.rb
@@ -339,6 +351,7 @@ files:
 - smoke/diagnostics/method_arity_mismatch.rb
 - smoke/diagnostics/method_body_type_mismatch.rb
 - smoke/diagnostics/method_definition_missing.rb
+- smoke/diagnostics/method_parameter_mismatch.rb
 - smoke/diagnostics/method_return_type_annotation_mismatch.rb
 - smoke/diagnostics/missing_keyword.rb
 - smoke/diagnostics/no_method.rb
@@ -354,7 +367,6 @@ files:
 - smoke/diagnostics/unexpected_yield.rb
 - smoke/diagnostics/unknown_constant_assigned.rb
 - smoke/diagnostics/unresolved_overloading.rb
-- smoke/diagnostics/unsatisfiable_constraint.rb
 - smoke/diagnostics/unsupported_syntax.rb
 - smoke/dstr/Steepfile
 - smoke/dstr/a.rb
@@ -455,6 +467,8 @@ files:
 - smoke/regression/issue_328.rbs
 - smoke/regression/issue_332.rb
 - smoke/regression/issue_332.rbs
+- smoke/regression/issue_372.rb
+- smoke/regression/issue_372.rbs
 - smoke/regression/masgn.rb
 - smoke/regression/poly_new.rb
 - smoke/regression/poly_new.rbs
@@ -521,7 +535,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.2.22
 signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby