steep 0.37.0 → 0.42.0

data/smoke/diagnostics-rbs/Steepfile

@@ -0,0 +1,8 @@
+all_sigs = Pathname.glob("*.rbs")
+
+all_sigs.each do |path|
+  target path.basename(".rbs").to_s.to_sym do
+    typing_options :strict
+    signature path.to_s
+  end
+end

data/smoke/diagnostics-rbs/duplicated-method-definition.rbs

@@ -0,0 +1,20 @@
+class DuplicatedMethodDefinitionError
+  def foo: () -> void
+  def foo: () -> Integer
+
+  interface _Hello
+    def f: () -> void
+
+    def f: () -> void
+  end
+
+  interface _A
+    def g: () -> void
+  end
+
+  class A
+    include _A
+
+    def g: () -> String
+  end
+end

data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs

@@ -0,0 +1,7 @@
+class GenericParameterMismatchError
+  class Foo[A]
+  end
+
+  class Foo[A, B]
+  end
+end

data/smoke/diagnostics-rbs/invalid-method-overload.rbs

@@ -0,0 +1,3 @@
+class InvalidMethodOverload
+  def foo: () -> void | ...
+end

data/smoke/diagnostics-rbs/invalid-type-application.rbs

@@ -0,0 +1,7 @@
+class InvalidTypeApplication
+  type foo = Integer[3]
+
+  type bar = Array[1, 2]
+
+  type baz = Hash
+end

data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs

@@ -0,0 +1,3 @@
+class InvalidVarianceAnnotationError[out A]
+  def foo: (A) -> void
+end

data/smoke/diagnostics-rbs/recursive-alias.rbs

@@ -0,0 +1,5 @@
+class RecursiveAlias
+  alias foo bar
+  alias bar baz
+  alias baz foo
+end

data/smoke/diagnostics-rbs/recursive-class.rbs

@@ -0,0 +1,8 @@
+class Foo < Bar
+end
+
+class Bar < Baz
+end
+
+class Baz < Foo
+end

data/smoke/diagnostics-rbs/superclass-mismatch.rbs

@@ -0,0 +1,7 @@
+class SuperclassMismatch
+  class Foo < String
+  end
+
+  class Foo < Integer
+  end
+end

data/smoke/diagnostics-rbs/test_expectations.yml

@@ -0,0 +1,231 @@
+---
+- file: duplicated-method-definition.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 21
+    severity: ERROR
+    message: Non-overloading method definition of `foo` in `::DuplicatedMethodDefinitionError`
+      cannot be duplicated
+    code: RBS::DuplicatedMethodDefinition
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 21
+    severity: ERROR
+    message: Non-overloading method definition of `f` in `::DuplicatedMethodDefinitionError::_Hello`
+      cannot be duplicated
+    code: RBS::DuplicatedMethodDefinition
+  - range:
+      start:
+        line: 18
+        character: 4
+      end:
+        line: 18
+        character: 23
+    severity: ERROR
+    message: Non-overloading method definition of `g` in `::DuplicatedMethodDefinitionError::A`
+      cannot be duplicated
+    code: RBS::DuplicatedMethodDefinition
+- file: generic-parameter-mismatch.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 2
+      end:
+        line: 6
+        character: 5
+    severity: ERROR
+    message: Different generic parameters are specified across definitions of `::GenericParameterMismatchError::Foo`
+    code: RBS::GenericParameterMismatch
+- file: invalid-method-overload.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 27
+    severity: ERROR
+    message: Cannot find a non-overloading definition of `foo` in `::InvalidMethodOverload`
+    code: RBS::InvalidMethodOverload
+- file: invalid-type-application.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 13
+      end:
+        line: 2
+        character: 23
+    severity: ERROR
+    message: Type `::Integer` is not generic but used as a generic type with 1 arguments
+    code: RBS::InvalidTypeApplication
+  - range:
+      start:
+        line: 4
+        character: 13
+      end:
+        line: 4
+        character: 24
+    severity: ERROR
+    message: Type `::Array` expects 1 arguments, but 2 arguments are given
+    code: RBS::InvalidTypeApplication
+  - range:
+      start:
+        line: 6
+        character: 13
+      end:
+        line: 6
+        character: 17
+    severity: ERROR
+    message: Type `::Hash` is generic but used as a non generic type
+    code: RBS::InvalidTypeApplication
+- file: invalid_variance_annotation.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 11
+      end:
+        line: 2
+        character: 22
+    severity: ERROR
+    message: The variance of type parameter `A` is covariant, but used in incompatible
+      position here
+    code: RBS::InvalidVarianceAnnotation
+- file: recursive-alias.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 15
+    severity: ERROR
+    message: 'Circular method alias is detected in `::RecursiveAlias`: foo -> bar
+      -> baz'
+    code: RBS::RecursiveAlias
+- file: recursive-class.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 0
+      end:
+        line: 2
+        character: 3
+    severity: ERROR
+    message: 'Circular inheritance/mix-in is detected: ::Foo <: ::Bar <: ::Baz <:
+      ::Foo'
+    code: RBS::RecursiveAncestor
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 5
+        character: 3
+    severity: ERROR
+    message: 'Circular inheritance/mix-in is detected: ::Bar <: ::Baz <: ::Foo <:
+      ::Bar'
+    code: RBS::RecursiveAncestor
+  - range:
+      start:
+        line: 7
+        character: 0
+      end:
+        line: 8
+        character: 3
+    severity: ERROR
+    message: 'Circular inheritance/mix-in is detected: ::Baz <: ::Foo <: ::Bar <:
+      ::Baz'
+    code: RBS::RecursiveAncestor
+- file: superclass-mismatch.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 3
+        character: 5
+    severity: ERROR
+    message: Different superclasses are specified for `::SuperclassMismatch::Foo`
+    code: RBS::SuperclassMismatch
+- file: unknown-method-alias.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 2
+      end:
+        line: 2
+        character: 15
+    severity: ERROR
+    message: Cannot find the original method `bar` in `::UnknownMethodAlias`
+    code: RBS::UnknownMethodAlias
+- file: unknown-type-name-2.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 13
+      end:
+        line: 2
+        character: 16
+    severity: ERROR
+    message: Cannot find type `::bar`
+    code: RBS::UnknownTypeName
+  - range:
+      start:
+        line: 4
+        character: 9
+      end:
+        line: 4
+        character: 14
+    severity: ERROR
+    message: Cannot find type `::World`
+    code: RBS::UnknownTypeName
+- file: unknown-type-name.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 2
+      end:
+        line: 6
+        character: 15
+    severity: ERROR
+    message: Cannot find type `World`
+    code: RBS::UnknownTypeName
+  - range:
+      start:
+        line: 8
+        character: 2
+      end:
+        line: 9
+        character: 5
+    severity: ERROR
+    message: Cannot find type `ABC`
+    code: RBS::UnknownTypeName
+  - range:
+      start:
+        line: 11
+        character: 15
+      end:
+        line: 11
+        character: 18
+    severity: ERROR
+    message: Cannot find type `ZZZ`
+    code: RBS::UnknownTypeName

data/smoke/diagnostics-rbs/unknown-method-alias.rbs

@@ -0,0 +1,3 @@
+class UnknownMethodAlias
+  alias foo bar
+end

data/smoke/diagnostics-rbs/unknown-type-name-2.rbs

@@ -0,0 +1,5 @@
+class UnknownTypeName
+  type foo = bar
+
+  Hello: World
+end

data/smoke/diagnostics-rbs/unknown-type-name.rbs

@@ -0,0 +1,13 @@
+class UnknownTypeName
+  type foo = bar
+
+  Hello: World
+
+  include World
+
+  class Foo < ABC
+  end
+
+  module Bar : ZZZ
+  end
+end

data/smoke/diagnostics/Steepfile

@@ -0,0 +1,5 @@
+target :test do
+  typing_options :strict
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/diagnostics/a.rbs

@@ -0,0 +1,26 @@
+class BlockBodyTypeMismatch
+  def foo: () { () -> Integer } -> void
+end
+
+class MethodDefinitionMissing
+  def foo: () -> void
+end
+
+class UnexpectedDynamicMethod
+  def bar: () -> void
+end
+
+class UnknownConstantAssigned
+end
+
+class UnsatisfiableConstraint
+  def foo: [A, B] (A) { (A) -> void } -> B
+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

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

data/smoke/diagnostics/block_body_type_mismatch.rb

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

data/smoke/diagnostics/block_type_mismatch.rb

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

data/smoke/diagnostics/break_type_mismatch.rb

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

data/smoke/diagnostics/else_on_exhaustive_case.rb

@@ -0,0 +1,12 @@
+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

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

data/smoke/diagnostics/incompatible_argument.rb

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

data/smoke/diagnostics/incompatible_assignment.rb

@@ -0,0 +1,8 @@
+# @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

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

data/smoke/diagnostics/method_body_type_mismatch.rb

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