steep 1.6.0 → 1.7.0.dev.2

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.6.0
+  version: 1.7.0.dev.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-11-09 00:00:00.000000000 Z
+date: 2024-02-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -253,6 +253,7 @@ files:
 - bin/setup
 - bin/steep
 - bin/steep-prof
+- doc/narrowing.md
 - exe/steep
 - gemfile_steep/Gemfile
 - gemfile_steep/Gemfile.lock
@@ -265,6 +266,7 @@ files:
 - lib/steep/ast/annotation.rb
 - lib/steep/ast/annotation/collection.rb
 - lib/steep/ast/builtin.rb
+- lib/steep/ast/ignore.rb
 - lib/steep/ast/node/type_application.rb
 - lib/steep/ast/node/type_assertion.rb
 - lib/steep/ast/types/any.rb
@@ -353,6 +355,7 @@ files:
 - lib/steep/services/type_name_completion.rb
 - lib/steep/signature/validator.rb
 - lib/steep/source.rb
+- lib/steep/source/ignore_ranges.rb
 - lib/steep/subtyping/cache.rb
 - lib/steep/subtyping/check.rb
 - lib/steep/subtyping/constraints.rb
@@ -362,6 +365,7 @@ files:
 - lib/steep/thread_waiter.rb
 - lib/steep/type_construction.rb
 - lib/steep/type_inference/block_params.rb
+- lib/steep/type_inference/case_when.rb
 - lib/steep/type_inference/constant_env.rb
 - lib/steep/type_inference/context.rb
 - lib/steep/type_inference/context_array.rb
@@ -393,11 +397,13 @@ files:
 - sig/shims/parser/source/range.rbs
 - sig/shims/string.rbs
 - sig/shims/tagged_logging.rbs
+- sig/shims/yaml.rbs
 - sig/steep.rbs
 - sig/steep/annotation_parser.rbs
 - sig/steep/ast/annotation.rbs
 - sig/steep/ast/annotation/collection.rbs
 - sig/steep/ast/builtin.rbs
+- sig/steep/ast/ignore.rbs
 - sig/steep/ast/node/type_application.rbs
 - sig/steep/ast/node/type_assertion.rbs
 - sig/steep/ast/types.rbs
@@ -487,6 +493,7 @@ files:
 - sig/steep/services/type_name_completion.rbs
 - sig/steep/signature/validator.rbs
 - sig/steep/source.rbs
+- sig/steep/source/ignore_ranges.rbs
 - sig/steep/subtyping/cache.rbs
 - sig/steep/subtyping/check.rbs
 - sig/steep/subtyping/constraints.rbs
@@ -496,6 +503,7 @@ files:
 - sig/steep/thread_waiter.rbs
 - sig/steep/type_construction.rbs
 - sig/steep/type_inference/block_params.rbs
+- sig/steep/type_inference/case_when.rbs
 - sig/steep/type_inference/constant_env.rbs
 - sig/steep/type_inference/context.rbs
 - sig/steep/type_inference/context_array.rbs
@@ -507,261 +515,6 @@ files:
 - sig/steep/type_inference/type_env.rbs
 - sig/steep/type_inference/type_env_builder.rbs
 - sig/steep/typing.rbs
-- smoke/alias/Steepfile
-- smoke/alias/a.rb
-- smoke/alias/a.rbs
-- smoke/alias/b.rb
-- smoke/alias/c.rb
-- smoke/alias/test_expectations.yml
-- smoke/and/Steepfile
-- smoke/and/a.rb
-- smoke/and/test_expectations.yml
-- smoke/array/Steepfile
-- smoke/array/a.rb
-- smoke/array/b.rb
-- smoke/array/c.rb
-- smoke/array/test_expectations.yml
-- smoke/block/Steepfile
-- smoke/block/a.rb
-- smoke/block/a.rbs
-- smoke/block/b.rb
-- smoke/block/c.rb
-- smoke/block/c.rbs
-- smoke/block/d.rb
-- smoke/block/e.rb
-- smoke/block/e.rbs
-- smoke/block/test_expectations.yml
-- smoke/case/Steepfile
-- smoke/case/a.rb
-- smoke/case/test_expectations.yml
-- smoke/class/Steepfile
-- smoke/class/a.rb
-- smoke/class/a.rbs
-- smoke/class/b.rb
-- smoke/class/c.rb
-- smoke/class/f.rb
-- smoke/class/g.rb
-- smoke/class/h.rb
-- smoke/class/h.rbs
-- smoke/class/i.rb
-- smoke/class/i.rbs
-- smoke/class/test_expectations.yml
-- smoke/compact/Steepfile
-- smoke/compact/a.rb
-- smoke/compact/a.rbs
-- smoke/compact/b.rb
-- smoke/compact/test_expectations.yml
-- smoke/const/Steepfile
-- smoke/const/a.rb
-- smoke/const/b.rb
-- smoke/const/b.rbs
-- smoke/const/test_expectations.yml
-- smoke/diagnostics-rbs-duplicated/Steepfile
-- smoke/diagnostics-rbs-duplicated/a.rbs
-- smoke/diagnostics-rbs-duplicated/test_expectations.yml
-- smoke/diagnostics-rbs/Steepfile
-- smoke/diagnostics-rbs/duplicated-method-definition.rbs
-- smoke/diagnostics-rbs/generic-parameter-mismatch.rbs
-- smoke/diagnostics-rbs/inherit-module.rbs
-- 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/nonregular-type-alias.rbs
-- smoke/diagnostics-rbs/recursive-alias.rbs
-- smoke/diagnostics-rbs/recursive-class.rbs
-- smoke/diagnostics-rbs/recursive-type-alias.rbs
-- smoke/diagnostics-rbs/superclass-mismatch.rbs
-- smoke/diagnostics-rbs/test_expectations.yml
-- 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
-- smoke/diagnostics/incompatible_assignment.rb
-- 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
-- smoke/diagnostics/proc_type_expected.rb
-- smoke/diagnostics/required_block_missing.rb
-- smoke/diagnostics/return_type_mismatch.rb
-- smoke/diagnostics/test_expectations.yml
-- smoke/diagnostics/unexpected_block_given.rb
-- smoke/diagnostics/unexpected_dynamic_method.rb
-- smoke/diagnostics/unexpected_jump.rb
-- smoke/diagnostics/unexpected_jump_value.rb
-- smoke/diagnostics/unexpected_keyword.rb
-- smoke/diagnostics/unexpected_splat.rb
-- smoke/diagnostics/unexpected_yield.rb
-- smoke/diagnostics/unknown_constant_assigned.rb
-- smoke/diagnostics/unresolved_overloading.rb
-- smoke/diagnostics/unsupported_syntax.rb
-- smoke/dstr/Steepfile
-- smoke/dstr/a.rb
-- smoke/dstr/test_expectations.yml
-- smoke/ensure/Steepfile
-- smoke/ensure/a.rb
-- smoke/ensure/test_expectations.yml
-- smoke/enumerator/Steepfile
-- smoke/enumerator/a.rb
-- smoke/enumerator/b.rb
-- smoke/enumerator/test_expectations.yml
-- smoke/extension/Steepfile
-- smoke/extension/a.rb
-- smoke/extension/a.rbs
-- smoke/extension/b.rb
-- smoke/extension/c.rb
-- smoke/extension/d.rb
-- smoke/extension/e.rb
-- smoke/extension/e.rbs
-- smoke/extension/f.rb
-- smoke/extension/f.rbs
-- smoke/extension/test_expectations.yml
-- smoke/hash/Steepfile
-- smoke/hash/a.rb
-- smoke/hash/a.rbs
-- smoke/hash/b.rb
-- smoke/hash/c.rb
-- smoke/hash/d.rb
-- smoke/hash/e.rb
-- smoke/hash/e.rbs
-- smoke/hash/f.rb
-- smoke/hash/test_expectations.yml
-- smoke/hello/Steepfile
-- smoke/hello/hello.rb
-- smoke/hello/hello.rbs
-- smoke/hello/test_expectations.yml
-- smoke/if/Steepfile
-- smoke/if/a.rb
-- smoke/if/test_expectations.yml
-- smoke/implements/Steepfile
-- smoke/implements/a.rb
-- smoke/implements/a.rbs
-- smoke/implements/b.rb
-- smoke/implements/b.rbs
-- smoke/implements/test_expectations.yml
-- smoke/initialize/Steepfile
-- smoke/initialize/a.rb
-- smoke/initialize/a.rbs
-- smoke/initialize/test_expectations.yml
-- smoke/integer/Steepfile
-- smoke/integer/a.rb
-- smoke/integer/test_expectations.yml
-- smoke/interface/Steepfile
-- smoke/interface/a.rb
-- smoke/interface/a.rbs
-- smoke/interface/test_expectations.yml
-- smoke/kwbegin/Steepfile
-- smoke/kwbegin/a.rb
-- smoke/kwbegin/test_expectations.yml
-- smoke/lambda/Steepfile
-- smoke/lambda/a.rb
-- smoke/lambda/test_expectations.yml
-- smoke/literal/Steepfile
-- smoke/literal/a.rb
-- smoke/literal/b.rb
-- smoke/literal/literal_methods.rbs
-- smoke/literal/test_expectations.yml
-- smoke/map/Steepfile
-- smoke/map/a.rb
-- smoke/map/test_expectations.yml
-- smoke/method/Steepfile
-- smoke/method/a.rb
-- smoke/method/a.rbs
-- smoke/method/b.rb
-- smoke/method/c.rb
-- smoke/method/d.rb
-- smoke/method/d.rbs
-- smoke/method/test_expectations.yml
-- smoke/module/Steepfile
-- smoke/module/a.rb
-- smoke/module/a.rbs
-- smoke/module/b.rb
-- smoke/module/c.rb
-- smoke/module/d.rb
-- smoke/module/e.rb
-- smoke/module/f.rb
-- smoke/module/test_expectations.yml
-- smoke/regexp/Steepfile
-- smoke/regexp/a.rb
-- smoke/regexp/b.rb
-- smoke/regexp/test_expectations.yml
-- smoke/regression/Steepfile
-- smoke/regression/array.rb
-- smoke/regression/block_param_split.rb
-- smoke/regression/block_param_split.rbs
-- smoke/regression/empty_yield.rb
-- smoke/regression/empty_yield.rbs
-- smoke/regression/enumerator_product.rb
-- smoke/regression/fun.rb
-- smoke/regression/fun.rbs
-- smoke/regression/hash.rb
-- smoke/regression/hello world.rb
-- smoke/regression/issue_328.rb
-- 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/lambda.rb
-- smoke/regression/masgn.rb
-- smoke/regression/poly_new.rb
-- smoke/regression/poly_new.rbs
-- smoke/regression/range.rb
-- smoke/regression/set_divide.rb
-- smoke/regression/test_expectations.yml
-- smoke/regression/thread.rb
-- smoke/rescue/Steepfile
-- smoke/rescue/a.rb
-- smoke/rescue/test_expectations.yml
-- smoke/self/Steepfile
-- smoke/self/a.rb
-- smoke/self/a.rbs
-- smoke/self/test_expectations.yml
-- smoke/skip/Steepfile
-- smoke/skip/skip.rb
-- smoke/skip/test_expectations.yml
-- smoke/stdout/Steepfile
-- smoke/stdout/a.rb
-- smoke/stdout/a.rbs
-- smoke/stdout/test_expectations.yml
-- smoke/super/Steepfile
-- smoke/super/a.rb
-- smoke/super/a.rbs
-- smoke/super/test_expectations.yml
-- smoke/toplevel/Steepfile
-- smoke/toplevel/a.rb
-- smoke/toplevel/a.rbs
-- smoke/toplevel/test_expectations.yml
-- smoke/tsort/Steepfile
-- smoke/tsort/a.rb
-- smoke/tsort/test_expectations.yml
-- smoke/type_case/Steepfile
-- smoke/type_case/a.rb
-- smoke/type_case/test_expectations.yml
-- smoke/unexpected/Steepfile
-- smoke/unexpected/test_expectations.yml
-- smoke/unexpected/unexpected.rbs
-- smoke/yield/Steepfile
-- smoke/yield/a.rb
-- smoke/yield/b.rb
-- smoke/yield/test_expectations.yml
 - steep.gemspec
 homepage: https://github.com/soutaro/steep
 licenses:
@@ -785,7 +538,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.4.10
+rubygems_version: 3.5.3
 signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby

data/smoke/alias/Steepfile

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

data/smoke/alias/a.rb

@@ -1,16 +0,0 @@
-# @type var x: foo
-x = ""
-
-x + 123
-
-# @type var y: bar
-y = x
-y = []
-
-# @type var z: Symbol
-case x
-when String
-  z = x
-when Integer
-  z = x
-end

data/smoke/alias/a.rbs

@@ -1,10 +0,0 @@
-type foo = String | Integer
-type bar = Array[Integer] | foo
-type baz = [String, Symbol]
-
-type name = :foo | :bar
-
-class AliasMethodArg
-  def foo: (name) -> Integer
-         | (Symbol) -> String
-end

data/smoke/alias/b.rb

@@ -1,6 +0,0 @@
-# @type var a: baz
-
-a = ["", :foo]
-
-# @type var x: Integer
-x = a[0]

data/smoke/alias/c.rb

@@ -1,8 +0,0 @@
-# @type var x: String
-
-x = AliasMethodArg.new.foo(:foo)
-
-# @type var name: name
-name = :bar
-
-x = AliasMethodArg.new.foo(name)

data/smoke/alias/test_expectations.yml

@@ -1,96 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 0
-      end:
-        line: 4
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `+` of type `(::String | ::Integer)`
-      Method types:
-        def +: ((::string & ::Integer)) -> (::String | ::Integer)
-             | ((::string & ::Float)) -> (::String | ::Float)
-             | ((::string & ::Rational)) -> (::String | ::Rational)
-             | ((::string & ::Complex)) -> (::String | ::Complex)
-    code: Ruby::UnresolvedOverloading
-  - range:
-      start:
-        line: 13
-        character: 2
-      end:
-        line: 13
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Symbol`
-        ::String <: ::Symbol
-          ::Object <: ::Symbol
-            ::BasicObject <: ::Symbol
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 2
-      end:
-        line: 15
-        character: 7
-    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
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 3
-        character: 32
-    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: 8
-        character: 0
-      end:
-        line: 8
-        character: 32
-    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

data/smoke/and/Steepfile

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

data/smoke/and/a.rb

@@ -1,8 +0,0 @@
-# @type var b: String
-# @type var c: ::Integer
-
-a = ["foo"].sample
-
-b = a && a.to_str
-
-c = a && a.to_str

data/smoke/and/test_expectations.yml

@@ -1,29 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(nil | ::String)` to a variable of type `::String`
-        (nil | ::String) <: ::String
-          nil <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(nil | ::String)` to a variable of type `::Integer`
-        (nil | ::String) <: ::Integer
-          nil <: ::Integer
-    code: Ruby::IncompatibleAssignment

data/smoke/array/Steepfile

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

data/smoke/array/a.rb

@@ -1,18 +0,0 @@
-# @type var a: Array[Integer]
-
-a = []
-a[1] = 3
-
-a[2] = "foo"
-
-# @type var i: Integer
-i = a[0]
-
-# @type var s: String
-s = a[1]
-
-
-b = ["a", "b", "c"]
-
-s = b[0]
-i = b[1]

data/smoke/array/b.rb

@@ -1,12 +0,0 @@
-x = ""
-y = 1
-
-x = y
-y = x
-
-# @type var a: Array[Integer]
-# @type var b: Array[String]
-
-a = []
-b = a
-a = b

data/smoke/array/c.rb

@@ -1,6 +0,0 @@
-# @type var x: Array[String?]
-
-x = ["foo"]
-x = [nil]
-
-x = [1]

data/smoke/array/test_expectations.yml

@@ -1,103 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 12
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `[]=` of type `::Array[::Integer]`
-      Method types:
-        def []=: (::int, ::Integer) -> ::Integer
-               | (::int, ::int, ::Integer) -> ::Integer
-               | (::int, ::int, ::Array[::Integer]) -> ::Array[::Integer]
-               | (::int, ::int, nil) -> nil
-               | (::Range[(::Integer | nil)], ::Integer) -> ::Integer
-               | (::Range[(::Integer | nil)], ::Array[::Integer]) -> ::Array[::Integer]
-               | (::Range[(::Integer | nil)], nil) -> nil
-    code: Ruby::UnresolvedOverloading
-  - range:
-      start:
-        line: 12
-        character: 0
-      end:
-        line: 12
-        character: 8
-    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: 18
-        character: 0
-      end:
-        line: 18
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 11
-        character: 0
-      end:
-        line: 11
-        character: 5
-    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
-  - range:
-      start:
-        line: 12
-        character: 0
-      end:
-        line: 12
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Integer]`
-        ::Array[::String] <: ::Array[::Integer]
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Array[(::String | nil)]`
-        ::Array[::Integer] <: ::Array[(::String | nil)]
-          ::Integer <: (::String | nil)
-            ::Integer <: ::String
-              ::Numeric <: ::String
-                ::Object <: ::String
-                  ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment