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

steep 1.6.0 → 1.7.0.dev.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

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/const/test_expectations.yml DELETED Viewed

@@ -1,134 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 0
-      end:
-        line: 4
-        character: 5
-    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: 6
-        character: 4
-      end:
-        line: 6
-        character: 5
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `B`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 8
-        character: 7
-      end:
-        line: 8
-        character: 8
-    severity: ERROR
-    message: 'Cannot find the declaration of module: `X`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 14
-        character: 4
-      end:
-        line: 14
-        character: 9
-    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: 16
-        character: 8
-      end:
-        line: 16
-        character: 9
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `B`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 23
-        character: 0
-      end:
-        line: 23
-        character: 17
-    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: 26
-        character: 0
-      end:
-        line: 26
-        character: 15
-    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: 27
-        character: 0
-      end:
-        line: 27
-        character: 19
-    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
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 4
-      end:
-        line: 3
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a constant of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 5
-        character: 4
-      end:
-        line: 5
-        character: 8
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `Baz2`'
-    code: Ruby::UnknownConstant

data/smoke/diagnostics/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/diagnostics/a.rbs DELETED Viewed

@@ -1,22 +0,0 @@
-class BlockBodyTypeMismatch
-  def foo: () { () -> Integer } -> void
-end
-class MethodDefinitionMissing
-  def foo: () -> void
-end
-class UnexpectedDynamicMethod
-  def bar: () -> void
-end
-class UnknownConstantAssigned
-end
-class UnexpectedKeyword
-  def foo: (foo: Integer) -> void
-end
-class MissingKeyword
-  def foo: (?String, foo: Integer, ?bar: Symbol) -> void
-end

data/smoke/diagnostics/argument_type_mismatch.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- [123].at("")

data/smoke/diagnostics/block_body_type_mismatch.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- BlockBodyTypeMismatch.new.foo { "" }

data/smoke/diagnostics/block_type_mismatch.rb DELETED Viewed

@@ -1,3 +0,0 @@
-lam = -> (x,y,z) { x + y + z}
-123.tap(&lam)

data/smoke/diagnostics/break_type_mismatch.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- 123.tap { break "" }

data/smoke/diagnostics/different_method_parameter_kind.rb DELETED Viewed

@@ -1,9 +0,0 @@
-class DifferentMethodParameterKind
-  # @type method foo: (Integer, String) -> void
-  def foo(a = 0, *b)
-  end
-  # @type method bar: (name: String, size: Integer) -> void
-  def bar(name: "foo", **rest)
-  end
-end

data/smoke/diagnostics/else_on_exhaustive_case.rb DELETED Viewed

@@ -1,12 +0,0 @@
-x = [1, ""].sample
-case x
-when Integer
-  "Integer"
-when String
-  "String"
-when nil
-  "nil"
-else
-  raise "Unexpected value"
-end

data/smoke/diagnostics/incompatible_annotation.rb DELETED Viewed

@@ -1,6 +0,0 @@
-a = [1,2,3]
-if _ = 1
-  # @type var a: String
-  a + ""
-end

data/smoke/diagnostics/incompatible_argument.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- [123].at(1,2,3)

data/smoke/diagnostics/incompatible_assignment.rb DELETED Viewed

@@ -1,8 +0,0 @@
-# @type var x: String
-x = 3
-# @type const X: String
-X = 123
-# @type ivar @x: Integer
-@x = :foo

data/smoke/diagnostics/method_arity_mismatch.rb DELETED Viewed

@@ -1,11 +0,0 @@
-class MethodArityMismatch
-  # @type method foo: (name: String) -> void
-  def foo()
-  end
-  # @type method bar: (String) -> void
-  def self.bar
-  end
-end

data/smoke/diagnostics/method_body_type_mismatch.rb DELETED Viewed

@@ -1,6 +0,0 @@
-class MethodBodyTypeMismatch
-  # @type method foo: () -> Integer
-  def foo
-    ""
-  end
-end

data/smoke/diagnostics/method_definition_missing.rb DELETED Viewed

	@@ -1,2 +0,0 @@
1	- class MethodDefinitionMissing
2	- end

data/smoke/diagnostics/method_parameter_mismatch.rb DELETED Viewed

@@ -1,10 +0,0 @@
-class MethodParameterMismatch
-  # @type method foo: (?String, *Integer) -> void
-  def foo(a, b)
-  end
-  # @type method bar: (?name: String) -> void
-  def self.bar(name:)
-  end
-end

data/smoke/diagnostics/method_return_type_annotation_mismatch.rb DELETED Viewed

@@ -1,7 +0,0 @@
-class MethodReturnTypeAnnotationMismatch
-  # @type method foo: () -> String
-  def foo
-    # @type return: Integer
-    123
-  end
-end

data/smoke/diagnostics/missing_keyword.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- MissingKeyword.new.foo bar: :bar

data/smoke/diagnostics/no_method.rb DELETED Viewed

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

data/smoke/diagnostics/proc_type_expected.rb DELETED Viewed

@@ -1,3 +0,0 @@
--> (&block) do
-  # @type var block: Integer
-end

data/smoke/diagnostics/required_block_missing.rb DELETED Viewed

	@@ -1 +0,0 @@
1	- 123.tap()

data/smoke/diagnostics/return_type_mismatch.rb DELETED Viewed

@@ -1,6 +0,0 @@
-class ReturnTypeMismatch
-  # @type method foo: () -> String
-  def foo
-    return 30
-  end
-end