steep 0.44.1 → 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/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,7 +28,7 @@ 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"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.44.1
+  version: 0.45.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-04-23 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
@@ -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
@@ -260,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
@@ -269,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
@@ -320,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
@@ -337,6 +343,7 @@ files:
 - 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
@@ -344,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
@@ -527,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