RubyGems - steep - Versions diffs - 1.6.0 → 1.7.0.dev.2 - Mend

steep 1.6.0 → 1.7.0.dev.2

Files changed (314) hide show

checksums.yaml +4 -4
data/.github/dependabot.yml +6 -0
data/.github/workflows/ruby-windows.yml +2 -1
data/.github/workflows/ruby.yml +9 -10
data/.gitignore +0 -1
data/Gemfile +1 -1
data/Gemfile.lock +30 -28
data/Rakefile +5 -0
data/bin/output_test.rb +1 -0
data/doc/narrowing.md +195 -0
data/gemfile_steep/Gemfile +1 -1
data/gemfile_steep/Gemfile.lock +31 -16
data/guides/src/getting-started/getting-started.md +10 -11
data/lib/steep/ast/ignore.rb +148 -0
data/lib/steep/cli.rb +6 -1
data/lib/steep/diagnostic/ruby.rb +16 -0
data/lib/steep/drivers/utils/driver_helper.rb +22 -11
data/lib/steep/node_helper.rb +12 -0
data/lib/steep/project/dsl.rb +18 -21
data/lib/steep/project/options.rb +39 -2
data/lib/steep/project.rb +11 -7
data/lib/steep/server/change_buffer.rb +2 -2
data/lib/steep/server/interaction_worker.rb +61 -11
data/lib/steep/server/worker_process.rb +3 -1
data/lib/steep/services/completion_provider.rb +39 -8
data/lib/steep/services/file_loader.rb +3 -2
data/lib/steep/services/signature_help_provider.rb +20 -17
data/lib/steep/services/type_check_service.rb +36 -8
data/lib/steep/source/ignore_ranges.rb +69 -0
data/lib/steep/source.rb +10 -4
data/lib/steep/subtyping/check.rb +6 -0
data/lib/steep/subtyping/result.rb +6 -0
data/lib/steep/type_construction.rb +6 -151
data/lib/steep/type_inference/case_when.rb +301 -0
data/lib/steep/version.rb +1 -1
data/lib/steep.rb +14 -1
data/rbs_collection.steep.lock.yaml +8 -6
data/sig/shims/parser.rbs +10 -0
data/sig/shims/yaml.rbs +4 -0
data/sig/steep/ast/ignore.rbs +66 -0
data/sig/steep/diagnostic/ruby.rbs +8 -0
data/sig/steep/node_helper.rbs +2 -0
data/sig/steep/project/dsl.rbs +8 -4
data/sig/steep/project/options.rbs +21 -1
data/sig/steep/project.rbs +3 -3
data/sig/steep/server/change_buffer.rbs +6 -4
data/sig/steep/server/interaction_worker.rbs +10 -0
data/sig/steep/server/worker_process.rbs +4 -4
data/sig/steep/services/completion_provider.rbs +14 -1
data/sig/steep/services/type_check_service.rbs +6 -1
data/sig/steep/source/ignore_ranges.rbs +38 -0
data/sig/steep/source.rbs +5 -2
data/sig/steep/subtyping/check.rbs +4 -2
data/sig/steep/subtyping/result.rbs +5 -1
data/sig/steep/type_construction.rbs +1 -26
data/sig/steep/type_inference/case_when.rbs +130 -0
data/sig/steep.rbs +9 -0
data/steep.gemspec +1 -1
metadata +11 -258
data/smoke/alias/Steepfile +0 -6
data/smoke/alias/a.rb +0 -16
data/smoke/alias/a.rbs +0 -10
data/smoke/alias/b.rb +0 -6
data/smoke/alias/c.rb +0 -8
data/smoke/alias/test_expectations.yml +0 -96
data/smoke/and/Steepfile +0 -6
data/smoke/and/a.rb +0 -8
data/smoke/and/test_expectations.yml +0 -29
data/smoke/array/Steepfile +0 -6
data/smoke/array/a.rb +0 -18
data/smoke/array/b.rb +0 -12
data/smoke/array/c.rb +0 -6
data/smoke/array/test_expectations.yml +0 -103
data/smoke/block/Steepfile +0 -6
data/smoke/block/a.rb +0 -10
data/smoke/block/a.rbs +0 -6
data/smoke/block/b.rb +0 -13
data/smoke/block/c.rb +0 -9
data/smoke/block/c.rbs +0 -3
data/smoke/block/d.rb +0 -11
data/smoke/block/e.rb +0 -12
data/smoke/block/e.rbs +0 -4
data/smoke/block/test_expectations.yml +0 -133
data/smoke/case/Steepfile +0 -6
data/smoke/case/a.rb +0 -18
data/smoke/case/test_expectations.yml +0 -47
data/smoke/class/Steepfile +0 -6
data/smoke/class/a.rb +0 -25
data/smoke/class/a.rbs +0 -23
data/smoke/class/b.rb +0 -5
data/smoke/class/c.rb +0 -9
data/smoke/class/f.rb +0 -10
data/smoke/class/g.rb +0 -6
data/smoke/class/h.rb +0 -19
data/smoke/class/h.rbs +0 -6
data/smoke/class/i.rb +0 -14
data/smoke/class/i.rbs +0 -9
data/smoke/class/test_expectations.yml +0 -117
data/smoke/compact/Steepfile +0 -6
data/smoke/compact/a.rb +0 -2
data/smoke/compact/a.rbs +0 -5
data/smoke/compact/b.rb +0 -2
data/smoke/compact/test_expectations.yml +0 -18
data/smoke/const/Steepfile +0 -6
data/smoke/const/a.rb +0 -27
data/smoke/const/b.rb +0 -7
data/smoke/const/b.rbs +0 -5
data/smoke/const/test_expectations.yml +0 -134
data/smoke/diagnostics/Steepfile +0 -6
data/smoke/diagnostics/a.rbs +0 -22
data/smoke/diagnostics/argument_type_mismatch.rb +0 -1
data/smoke/diagnostics/block_body_type_mismatch.rb +0 -1
data/smoke/diagnostics/block_type_mismatch.rb +0 -3
data/smoke/diagnostics/break_type_mismatch.rb +0 -1
data/smoke/diagnostics/different_method_parameter_kind.rb +0 -9
data/smoke/diagnostics/else_on_exhaustive_case.rb +0 -12
data/smoke/diagnostics/incompatible_annotation.rb +0 -6
data/smoke/diagnostics/incompatible_argument.rb +0 -1
data/smoke/diagnostics/incompatible_assignment.rb +0 -8
data/smoke/diagnostics/method_arity_mismatch.rb +0 -11
data/smoke/diagnostics/method_body_type_mismatch.rb +0 -6
data/smoke/diagnostics/method_definition_missing.rb +0 -2
data/smoke/diagnostics/method_parameter_mismatch.rb +0 -10
data/smoke/diagnostics/method_return_type_annotation_mismatch.rb +0 -7
data/smoke/diagnostics/missing_keyword.rb +0 -1
data/smoke/diagnostics/no_method.rb +0 -1
data/smoke/diagnostics/proc_type_expected.rb +0 -3
data/smoke/diagnostics/required_block_missing.rb +0 -1
data/smoke/diagnostics/return_type_mismatch.rb +0 -6
data/smoke/diagnostics/test_expectations.yml +0 -591
data/smoke/diagnostics/unexpected_block_given.rb +0 -1
data/smoke/diagnostics/unexpected_dynamic_method.rb +0 -3
data/smoke/diagnostics/unexpected_jump.rb +0 -4
data/smoke/diagnostics/unexpected_jump_value.rb +0 -3
data/smoke/diagnostics/unexpected_keyword.rb +0 -1
data/smoke/diagnostics/unexpected_splat.rb +0 -1
data/smoke/diagnostics/unexpected_yield.rb +0 -6
data/smoke/diagnostics/unknown_constant_assigned.rb +0 -7
data/smoke/diagnostics/unresolved_overloading.rb +0 -1
data/smoke/diagnostics/unsupported_syntax.rb +0 -2
data/smoke/diagnostics-rbs/Steepfile +0 -8
data/smoke/diagnostics-rbs/duplicated-method-definition.rbs +0 -20
data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs +0 -7
data/smoke/diagnostics-rbs/inherit-module.rbs +0 -2
data/smoke/diagnostics-rbs/invalid-method-overload.rbs +0 -3
data/smoke/diagnostics-rbs/invalid-type-application.rbs +0 -7
data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs +0 -3
data/smoke/diagnostics-rbs/mixin-class-error.rbs +0 -6
data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +0 -3
data/smoke/diagnostics-rbs/recursive-alias.rbs +0 -5
data/smoke/diagnostics-rbs/recursive-class.rbs +0 -8
data/smoke/diagnostics-rbs/recursive-type-alias.rbs +0 -3
data/smoke/diagnostics-rbs/superclass-mismatch.rbs +0 -7
data/smoke/diagnostics-rbs/test_expectations.yml +0 -300
data/smoke/diagnostics-rbs/unknown-method-alias.rbs +0 -3
data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +0 -5
data/smoke/diagnostics-rbs/unknown-type-name.rbs +0 -13
data/smoke/diagnostics-rbs-duplicated/Steepfile +0 -6
data/smoke/diagnostics-rbs-duplicated/a.rbs +0 -5
data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +0 -13
data/smoke/diagnostics-ruby-unsat/Steepfile +0 -6
data/smoke/diagnostics-ruby-unsat/a.rbs +0 -3
data/smoke/diagnostics-ruby-unsat/test_expectations.yml +0 -27
data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb +0 -6
data/smoke/dstr/Steepfile +0 -6
data/smoke/dstr/a.rb +0 -5
data/smoke/dstr/test_expectations.yml +0 -13
data/smoke/ensure/Steepfile +0 -6
data/smoke/ensure/a.rb +0 -18
data/smoke/ensure/test_expectations.yml +0 -62
data/smoke/enumerator/Steepfile +0 -6
data/smoke/enumerator/a.rb +0 -6
data/smoke/enumerator/b.rb +0 -17
data/smoke/enumerator/test_expectations.yml +0 -47
data/smoke/extension/Steepfile +0 -6
data/smoke/extension/a.rb +0 -10
data/smoke/extension/a.rbs +0 -13
data/smoke/extension/b.rb +0 -10
data/smoke/extension/c.rb +0 -9
data/smoke/extension/d.rb +0 -2
data/smoke/extension/e.rb +0 -2
data/smoke/extension/e.rbs +0 -7
data/smoke/extension/f.rb +0 -2
data/smoke/extension/f.rbs +0 -3
data/smoke/extension/test_expectations.yml +0 -73
data/smoke/hash/Steepfile +0 -6
data/smoke/hash/a.rb +0 -17
data/smoke/hash/a.rbs +0 -8
data/smoke/hash/b.rb +0 -6
data/smoke/hash/c.rb +0 -15
data/smoke/hash/d.rb +0 -5
data/smoke/hash/e.rb +0 -1
data/smoke/hash/e.rbs +0 -3
data/smoke/hash/f.rb +0 -11
data/smoke/hash/test_expectations.yml +0 -81
data/smoke/hello/Steepfile +0 -6
data/smoke/hello/hello.rb +0 -11
data/smoke/hello/hello.rbs +0 -7
data/smoke/hello/test_expectations.yml +0 -25
data/smoke/if/Steepfile +0 -6
data/smoke/if/a.rb +0 -20
data/smoke/if/test_expectations.yml +0 -34
data/smoke/implements/Steepfile +0 -6
data/smoke/implements/a.rb +0 -12
data/smoke/implements/a.rbs +0 -6
data/smoke/implements/b.rb +0 -13
data/smoke/implements/b.rbs +0 -12
data/smoke/implements/test_expectations.yml +0 -23
data/smoke/initialize/Steepfile +0 -6
data/smoke/initialize/a.rb +0 -12
data/smoke/initialize/a.rbs +0 -3
data/smoke/initialize/test_expectations.yml +0 -1
data/smoke/integer/Steepfile +0 -6
data/smoke/integer/a.rb +0 -26
data/smoke/integer/test_expectations.yml +0 -110
data/smoke/interface/Steepfile +0 -6
data/smoke/interface/a.rb +0 -12
data/smoke/interface/a.rbs +0 -12
data/smoke/interface/test_expectations.yml +0 -23
data/smoke/kwbegin/Steepfile +0 -6
data/smoke/kwbegin/a.rb +0 -7
data/smoke/kwbegin/test_expectations.yml +0 -17
data/smoke/lambda/Steepfile +0 -6
data/smoke/lambda/a.rb +0 -10
data/smoke/lambda/test_expectations.yml +0 -17
data/smoke/literal/Steepfile +0 -6
data/smoke/literal/a.rb +0 -11
data/smoke/literal/b.rb +0 -7
data/smoke/literal/literal_methods.rbs +0 -4
data/smoke/literal/test_expectations.yml +0 -106
data/smoke/map/Steepfile +0 -6
data/smoke/map/a.rb +0 -5
data/smoke/map/test_expectations.yml +0 -1
data/smoke/method/Steepfile +0 -6
data/smoke/method/a.rb +0 -21
data/smoke/method/a.rbs +0 -4
data/smoke/method/b.rb +0 -25
data/smoke/method/c.rb +0 -5
data/smoke/method/d.rb +0 -1
data/smoke/method/d.rbs +0 -3
data/smoke/method/test_expectations.yml +0 -121
data/smoke/module/Steepfile +0 -6
data/smoke/module/a.rb +0 -19
data/smoke/module/a.rbs +0 -16
data/smoke/module/b.rb +0 -6
data/smoke/module/c.rb +0 -22
data/smoke/module/d.rb +0 -4
data/smoke/module/e.rb +0 -13
data/smoke/module/f.rb +0 -11
data/smoke/module/test_expectations.yml +0 -75
data/smoke/regexp/Steepfile +0 -6
data/smoke/regexp/a.rb +0 -109
data/smoke/regexp/b.rb +0 -79
data/smoke/regexp/test_expectations.yml +0 -615
data/smoke/regression/Steepfile +0 -6
data/smoke/regression/array.rb +0 -7
data/smoke/regression/block_param_split.rb +0 -7
data/smoke/regression/block_param_split.rbs +0 -3
data/smoke/regression/empty_yield.rb +0 -5
data/smoke/regression/empty_yield.rbs +0 -3
data/smoke/regression/enumerator_product.rb +0 -1
data/smoke/regression/fun.rb +0 -8
data/smoke/regression/fun.rbs +0 -4
data/smoke/regression/hash.rb +0 -7
data/smoke/regression/hello world.rb +0 -1
data/smoke/regression/issue_328.rb +0 -1
data/smoke/regression/issue_328.rbs +0 -0
data/smoke/regression/issue_332.rb +0 -11
data/smoke/regression/issue_332.rbs +0 -19
data/smoke/regression/issue_372.rb +0 -8
data/smoke/regression/issue_372.rbs +0 -4
data/smoke/regression/lambda.rb +0 -3
data/smoke/regression/masgn.rb +0 -4
data/smoke/regression/poly_new.rb +0 -2
data/smoke/regression/poly_new.rbs +0 -4
data/smoke/regression/range.rb +0 -5
data/smoke/regression/set_divide.rb +0 -12
data/smoke/regression/test_expectations.yml +0 -120
data/smoke/regression/thread.rb +0 -7
data/smoke/rescue/Steepfile +0 -6
data/smoke/rescue/a.rb +0 -48
data/smoke/rescue/test_expectations.yml +0 -79
data/smoke/self/Steepfile +0 -6
data/smoke/self/a.rb +0 -21
data/smoke/self/a.rbs +0 -4
data/smoke/self/test_expectations.yml +0 -23
data/smoke/skip/Steepfile +0 -6
data/smoke/skip/skip.rb +0 -13
data/smoke/skip/test_expectations.yml +0 -23
data/smoke/stdout/Steepfile +0 -6
data/smoke/stdout/a.rb +0 -8
data/smoke/stdout/a.rbs +0 -7
data/smoke/stdout/test_expectations.yml +0 -1
data/smoke/super/Steepfile +0 -6
data/smoke/super/a.rb +0 -30
data/smoke/super/a.rbs +0 -10
data/smoke/super/test_expectations.yml +0 -69
data/smoke/toplevel/Steepfile +0 -6
data/smoke/toplevel/a.rb +0 -3
data/smoke/toplevel/a.rbs +0 -3
data/smoke/toplevel/test_expectations.yml +0 -15
data/smoke/tsort/Steepfile +0 -7
data/smoke/tsort/a.rb +0 -12
data/smoke/tsort/test_expectations.yml +0 -1
data/smoke/type_case/Steepfile +0 -6
data/smoke/type_case/a.rb +0 -24
data/smoke/type_case/test_expectations.yml +0 -58
data/smoke/unexpected/Steepfile +0 -6
data/smoke/unexpected/test_expectations.yml +0 -13
data/smoke/unexpected/unexpected.rbs +0 -3
data/smoke/yield/Steepfile +0 -6
data/smoke/yield/a.rb +0 -15
data/smoke/yield/b.rb +0 -6
data/smoke/yield/test_expectations.yml +0 -88

data/smoke/regexp/test_expectations.yml DELETED Viewed

@@ -1,615 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 6
-      end:
-        line: 2
-        character: 9
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 5
-        character: 6
-      end:
-        line: 5
-        character: 9
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 8
-        character: 6
-      end:
-        line: 8
-        character: 9
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 11
-        character: 6
-      end:
-        line: 11
-        character: 9
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 14
-        character: 10
-      end:
-        line: 14
-        character: 13
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 17
-        character: 10
-      end:
-        line: 17
-        character: 13
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 20
-        character: 10
-      end:
-        line: 20
-        character: 13
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 23
-        character: 10
-      end:
-        line: 23
-        character: 13
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 26
-        character: 9
-      end:
-        line: 26
-        character: 12
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 29
-        character: 13
-      end:
-        line: 29
-        character: 16
-    severity: ERROR
-    message: Type `(::MatchData | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 32
-        character: 13
-      end:
-        line: 32
-        character: 16
-    severity: ERROR
-    message: Type `(::String | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 35
-        character: 8
-      end:
-        line: 35
-        character: 11
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 38
-        character: 14
-      end:
-        line: 38
-        character: 17
-    severity: ERROR
-    message: Type `(::Regexp | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 41
-        character: 8
-      end:
-        line: 41
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 44
-        character: 8
-      end:
-        line: 44
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 47
-        character: 8
-      end:
-        line: 47
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 50
-        character: 8
-      end:
-        line: 50
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 53
-        character: 8
-      end:
-        line: 53
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 56
-        character: 8
-      end:
-        line: 56
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 59
-        character: 8
-      end:
-        line: 59
-        character: 11
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 62
-        character: 12
-      end:
-        line: 62
-        character: 15
-    severity: ERROR
-    message: Type `bool` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 68
-        character: 11
-      end:
-        line: 68
-        character: 14
-    severity: ERROR
-    message: Type `bool` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 71
-        character: 11
-      end:
-        line: 71
-        character: 14
-    severity: ERROR
-    message: Type `::Encoding` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 74
-        character: 17
-      end:
-        line: 74
-        character: 20
-    severity: ERROR
-    message: Type `bool` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 77
-        character: 8
-      end:
-        line: 77
-        character: 11
-    severity: ERROR
-    message: Type `(::MatchData | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 80
-        character: 8
-      end:
-        line: 80
-        character: 11
-    severity: ERROR
-    message: Type `(::MatchData | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 83
-        character: 4
-      end:
-        line: 83
-        character: 7
-    severity: ERROR
-    message: Type `::MatchData` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 87
-        character: 4
-      end:
-        line: 87
-        character: 7
-    severity: ERROR
-    message: Type `::MatchData` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 91
-        character: 10
-      end:
-        line: 91
-        character: 13
-    severity: ERROR
-    message: Type `bool` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 94
-        character: 10
-      end:
-        line: 94
-        character: 13
-    severity: ERROR
-    message: Type `bool` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 97
-        character: 17
-      end:
-        line: 97
-        character: 20
-    severity: ERROR
-    message: Type `::Hash[::String, ::Array[::Integer]]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 100
-        character: 8
-      end:
-        line: 100
-        character: 11
-    severity: ERROR
-    message: Type `::Array[::String]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 103
-        character: 10
-      end:
-        line: 103
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 106
-        character: 9
-      end:
-        line: 106
-        character: 12
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 109
-        character: 17
-      end:
-        line: 109
-        character: 20
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 14
-      end:
-        line: 3
-        character: 17
-    severity: ERROR
-    message: Type `(::String | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 6
-        character: 14
-      end:
-        line: 6
-        character: 17
-    severity: ERROR
-    message: Type `(::String | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 9
-        character: 14
-      end:
-        line: 9
-        character: 17
-    severity: ERROR
-    message: Type `(::String | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 12
-        character: 14
-      end:
-        line: 12
-        character: 17
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 15
-        character: 14
-      end:
-        line: 15
-        character: 17
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 18
-        character: 10
-      end:
-        line: 18
-        character: 13
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 21
-        character: 10
-      end:
-        line: 21
-        character: 13
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 24
-        character: 10
-      end:
-        line: 24
-        character: 13
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 27
-        character: 13
-      end:
-        line: 27
-        character: 16
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 30
-        character: 8
-      end:
-        line: 30
-        character: 11
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 33
-        character: 8
-      end:
-        line: 33
-        character: 11
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 36
-        character: 8
-      end:
-        line: 36
-        character: 11
-    severity: ERROR
-    message: Type `(::Integer | nil)` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 39
-        character: 11
-      end:
-        line: 39
-        character: 14
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 42
-        character: 19
-      end:
-        line: 42
-        character: 22
-    severity: ERROR
-    message: Type `::Hash[::String, (::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 45
-        character: 10
-      end:
-        line: 45
-        character: 13
-    severity: ERROR
-    message: Type `::Array[::String]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 48
-        character: 11
-      end:
-        line: 48
-        character: 14
-    severity: ERROR
-    message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 51
-        character: 11
-      end:
-        line: 51
-        character: 14
-    severity: ERROR
-    message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 54
-        character: 11
-      end:
-        line: 54
-        character: 14
-    severity: ERROR
-    message: Type `([::Integer, ::Integer] | [nil, nil])` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 57
-        character: 15
-      end:
-        line: 57
-        character: 18
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 60
-        character: 14
-      end:
-        line: 60
-        character: 17
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 63
-        character: 11
-      end:
-        line: 63
-        character: 14
-    severity: ERROR
-    message: Type `::Regexp` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 66
-        character: 9
-      end:
-        line: 66
-        character: 12
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 69
-        character: 11
-      end:
-        line: 69
-        character: 14
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 72
-        character: 9
-      end:
-        line: 72
-        character: 12
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 75
-        character: 14
-      end:
-        line: 75
-        character: 17
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 78
-        character: 14
-      end:
-        line: 78
-        character: 17
-    severity: ERROR
-    message: Type `::Array[(::String | nil)]` does not have method `foo`
-    code: Ruby::NoMethod

data/smoke/regression/Steepfile DELETED Viewed

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

data/smoke/regression/array.rb DELETED Viewed

@@ -1,7 +0,0 @@
-class Foo
-  # @type method foo: (Array[String]) -> void
-  def array(x)
-    # @type ivar @y: Array[String]
-    @y = x
-  end
-end

data/smoke/regression/block_param_split.rb DELETED Viewed

@@ -1,7 +0,0 @@
-# @type var a: Array[BlockParamSplit::pair[Integer, String]]
-a = [[1, "a"]]
-a.each do |x, y|
-  x + 1
-  y + "2"
-end

data/smoke/regression/block_param_split.rbs DELETED Viewed

@@ -1,3 +0,0 @@
-module BlockParamSplit
-  type pair[T, S] = [T, S]
-end

data/smoke/regression/empty_yield.rb DELETED Viewed

@@ -1,5 +0,0 @@
-class EmptyYield
-  def foo
-    yield
-  end
-end

data/smoke/regression/empty_yield.rbs DELETED Viewed

@@ -1,3 +0,0 @@
-class EmptyYield
-  def foo: () { (Integer) -> void } -> void
-end

data/smoke/regression/enumerator_product.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- Enumerator::Product.new([1,2,3], ["a", "b", "c"])

data/smoke/regression/fun.rb DELETED Viewed

@@ -1,8 +0,0 @@
-class Fun
-  def foo(v)
-    !v.nil? && foo2(v)
-  end
-  def foo2(_)
-  end
-end

data/smoke/regression/fun.rbs DELETED Viewed

@@ -1,4 +0,0 @@
-class Fun
-  def foo: (Integer?) -> void
-  def foo2: (Integer) -> void
-end

data/smoke/regression/hash.rb DELETED Viewed

@@ -1,7 +0,0 @@
-class Foo
-  # @type method foo: (Hash[String, untyped]) -> void
-  def foo(x)
-    # @type ivar @y: Hash[String, untyped]
-    @y = x
-  end
-end

data/smoke/regression/hello world.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- 1.foo()

data/smoke/regression/issue_328.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- ["abc", "d", ""].to_h { \|e\| [e, e.size] }

data/smoke/regression/issue_328.rbs DELETED Viewed

File without changes

data/smoke/regression/issue_332.rb DELETED Viewed

@@ -1,11 +0,0 @@
-module Issue332
-  module TimeDurationExtensions
-    def -(other)
-      if other.is_a?(Duration)
-        Time.now
-      else
-        super(other)
-      end
-    end
-  end
-end

data/smoke/regression/issue_332.rbs DELETED Viewed

@@ -1,19 +0,0 @@
-module Issue332
-  class Duration
-  end
-  interface _TimeDurationExtensions
-    def -: (Numeric other) -> Time
-         | (Time other) -> Float
-  end
-  module TimeDurationExtensions : _TimeDurationExtensions
-    def -: (Duration other) -> Time
-         | ...
-  end
-end
-class Time
-  prepend Issue332::TimeDurationExtensions
-end