steep 1.6.0 → 1.7.0.dev.2

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

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

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

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

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

@@ -1,3 +0,0 @@
-type foo = bar
-type bar = baz
-type baz = foo

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

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

data/smoke/diagnostics-rbs/test_expectations.yml

@@ -1,300 +0,0 @@
----
-- 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: inherit-module.rbs
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 22
-      end:
-        line: 1
-        character: 28
-    severity: ERROR
-    message: Cannot inherit from a module `::Kernel`
-    code: RBS::InheritModuleError
-- 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: mixin-class-error.rbs
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 2
-      end:
-        line: 5
-        character: 13
-    severity: ERROR
-    message: Cannot include a class `::Foo` in the definition of `::Bar`
-    code: RBS::MixinClassError
-- file: nonregular-type-alias.rbs
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 2
-      end:
-        line: 2
-        character: 42
-    severity: ERROR
-    message: 'Type alias ::NonregularTypeAlias::t is defined *non-regular*: ::NonregularTypeAlias::t[::String,
-      ::Integer]'
-    code: RBS::NonregularTypeAlias
-- 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: recursive-type-alias.rbs
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 0
-      end:
-        line: 1
-        character: 14
-    severity: ERROR
-    message: 'Type aliases cannot be *directly recursive*: ::foo'
-    code: RBS::RecursiveTypeAlias
-  - range:
-      start:
-        line: 2
-        character: 0
-      end:
-        line: 2
-        character: 14
-    severity: ERROR
-    message: 'Type aliases cannot be *directly recursive*: ::bar'
-    code: RBS::RecursiveTypeAlias
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 3
-        character: 14
-    severity: ERROR
-    message: 'Type aliases cannot be *directly recursive*: ::baz'
-    code: RBS::RecursiveTypeAlias
-- 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

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

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

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

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

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

data/smoke/diagnostics-rbs-duplicated/Steepfile

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

data/smoke/diagnostics-rbs-duplicated/a.rbs

@@ -1,5 +0,0 @@
-class A
-end
-
-module A
-end

data/smoke/diagnostics-rbs-duplicated/test_expectations.yml

@@ -1,13 +0,0 @@
----
-- file: a.rbs
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 0
-      end:
-        line: 5
-        character: 3
-    severity: ERROR
-    message: Declaration of `::A` is duplicated
-    code: RBS::DuplicatedDeclaration

data/smoke/diagnostics-ruby-unsat/Steepfile

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

data/smoke/diagnostics-ruby-unsat/a.rbs

@@ -1,3 +0,0 @@
-class UnsatisfiableConstraint
-  def foo: [A, B] (A) { (A) -> void } -> B
-end

data/smoke/diagnostics-ruby-unsat/test_expectations.yml

@@ -1,27 +0,0 @@
----
-- file: unsatisfiable_constraint.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 6
-        character: 3
-    severity: ERROR
-    message: |-
-      Unsatisfiable constraint `::Array[untyped] <: A(2) <: ::String` is generated through (A(2)) { (A(2)) -> void } -> B(3)
-        ::Array[untyped] <: ::String
-          ::Object <: ::String
-            ::BasicObject <: ::String
-    code: Ruby::UnsatisfiableConstraint
-  - range:
-      start:
-        line: 5
-        character: 4
-      end:
-        line: 5
-        character: 7
-    severity: ERROR
-    message: Type `::String` does not have method `foo`
-    code: Ruby::NoMethod

data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb

@@ -1,6 +0,0 @@
-test = UnsatisfiableConstraint.new
-
-test.foo([]) do |x|
-  # @type var x: String
-  x.foo()
-end

data/smoke/dstr/Steepfile

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

data/smoke/dstr/a.rb

@@ -1,5 +0,0 @@
-# @type var b: String
-
-a = 0
-
-b = "Hello #{a.foo} world!"

data/smoke/dstr/test_expectations.yml

@@ -1,13 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 15
-      end:
-        line: 5
-        character: 18
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod

data/smoke/ensure/Steepfile

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

data/smoke/ensure/a.rb

@@ -1,18 +0,0 @@
-# @type var a: Integer
-# @type var b: Integer
-
-a = begin
-      'foo'
-    ensure
-      b = :foo
-      1
-    end
-
-# @type method foo: (String) -> String
-
-def foo(a)
-  10
-ensure
-  1 + '1'
-  a
-end

data/smoke/ensure/test_expectations.yml

@@ -1,62 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 0
-      end:
-        line: 9
-        character: 7
-    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
-  - range:
-      start:
-        line: 7
-        character: 6
-      end:
-        line: 7
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Symbol` to a variable of type `::Integer`
-        ::Symbol <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 13
-        character: 4
-      end:
-        line: 13
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `::Integer` because declared as type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::MethodBodyTypeMismatch
-  - range:
-      start:
-        line: 16
-        character: 2
-      end:
-        line: 16
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `+` of type `::Integer`
-      Method types:
-        def +: (::Integer) -> ::Integer
-             | (::Float) -> ::Float
-             | (::Rational) -> ::Rational
-             | (::Complex) -> ::Complex
-    code: Ruby::UnresolvedOverloading

data/smoke/enumerator/Steepfile

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

data/smoke/enumerator/a.rb

@@ -1,6 +0,0 @@
-# @type var hash: Hash[Symbol, String]
-
-a = [1]
-
-hash = a.each.with_object("") do |x, y|
-end

data/smoke/enumerator/b.rb

@@ -1,17 +0,0 @@
-# @type var b: Array[String]
-# @type var c: Array[Integer]
-
-a = [1]
-
-b = a.each.with_object([]) do |i, xs|
-  xs << i.to_s
-end
-
-c = a.each.with_object([]) do |i, xs|
-  xs << i.to_s
-end
-
-# @type var d: String
-d = a.each.with_object([]) do |i, xs|
-  xs << i.to_s
-end

data/smoke/enumerator/test_expectations.yml

@@ -1,47 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 7
-      end:
-        line: 6
-        character: 3
-    severity: ERROR
-    message: |-
-      Unsatisfiable constraint `::String <: U(1) <: ::Hash[::Symbol, ::String]` is generated through (U(1)) { (::Integer, U(1)) -> untyped } -> U(1)
-        ::String <: ::Hash[::Symbol, ::String]
-          ::Object <: ::Hash[::Symbol, ::String]
-            ::BasicObject <: ::Hash[::Symbol, ::String]
-    code: Ruby::UnsatisfiableConstraint
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 11
-        character: 8
-      end:
-        line: 11
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::String` as an argument of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::ArgumentTypeMismatch
-  - range:
-      start:
-        line: 15
-        character: 4
-      end:
-        line: 17
-        character: 3
-    severity: ERROR
-    message: |-
-      Unsatisfiable constraint `::Array[untyped] <: U(3) <: ::String` is generated through (U(3)) { (::Integer, U(3)) -> untyped } -> U(3)
-        ::Array[untyped] <: ::String
-          ::Object <: ::String
-            ::BasicObject <: ::String
-    code: Ruby::UnsatisfiableConstraint

data/smoke/extension/Steepfile

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

data/smoke/extension/a.rb

@@ -1,10 +0,0 @@
-# @type var foo: Foo
-
-foo = (_ = nil)
-
-foo.try do |x|
-  # @type var string: String
-
-  string = x
-end
-

data/smoke/extension/a.rbs

@@ -1,13 +0,0 @@
-
-class Object
-  def try: [A] { (instance) -> A } -> A
-  def f: -> Object
-end
-
-module Kernel
-  def new_module_method: () -> void
-end
-
-class Foo
-  def f: -> String
-end

data/smoke/extension/b.rb

@@ -1,10 +0,0 @@
-# @type var foo: Foo
-foo = (_ = nil)
-
-# @type var integer: Integer
-
-# Foo#f returns String because overridden
-integer = foo.f()
-
-# String#f returns Object because Object(X)#f is used
-integer = "".f()

data/smoke/extension/c.rb

@@ -1,9 +0,0 @@
-class Foo
-  # @implements Foo
-
-  def f()
-    # @type var string: String
-    string = super()
-    string
-  end
-end

data/smoke/extension/d.rb

@@ -1,2 +0,0 @@
-Foo.new_module_method()
-Object.new_module_method()