steep 1.6.0 → 1.7.1

data/smoke/case/a.rb

@@ -1,18 +0,0 @@
-# @type var a: Integer
-
-a = case 1
-    when 2
-      1
-    when 0, 100
-      ["String"]
-    when 3
-      nil
-    when 4
-    else
-      "string"
-    end
-
-a = case
-    when 1+"a"
-      30
-    end

data/smoke/case/test_expectations.yml

@@ -1,47 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 13
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | ::Array[::String] | nil | ::String)` to a variable of type `::Integer`
-        (::Integer | ::Array[::String] | nil | ::String) <: ::Integer
-          ::Array[::String] <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 0
-      end:
-        line: 18
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | nil)` to a variable of type `::Integer`
-        (::Integer | nil) <: ::Integer
-          nil <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 16
-        character: 9
-      end:
-        line: 16
-        character: 14
-    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/class/Steepfile

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

data/smoke/class/a.rb

@@ -1,25 +0,0 @@
-class A
-  # A#foo is defined and the implementation is compatible.
-  def foo(x)
-    x + ""
-  end
-
-  # A#bar is defined but the implementation is incompatible.
-  def bar(y)
-    y
-  end
-
-  # Object#to_s is defined but the implementation is incompatible.
-  def to_s
-    3
-  end
-
-  # No method definition given via signature, there is no type error.
-  def to_str
-    5
-  end
-
-  def self.baz
-    "baz"
-  end
-end

data/smoke/class/a.rbs

@@ -1,23 +0,0 @@
-class A
-  def foo: (String) -> untyped
-  def bar: () -> String
-  def self.baz: -> Integer
-end
-
-class B
-  def name: -> String
-end
-
-class C
-  def foo: -> instance
-  def bar: -> instance
-end
-
-class D
-  def initialize: (String) -> untyped
-  def foo: -> untyped
-end
-
-interface _E
-  def foo: -> untyped
-end

data/smoke/class/b.rb

@@ -1,5 +0,0 @@
-# @var type s: String
-# @var type a: Integer
-
-s = "".class.allocate
-s = 3.class.allocate

data/smoke/class/c.rb

@@ -1,9 +0,0 @@
-class B
-  # @implements B
-
-  # @dynamic name
-  attr_reader :name
-
-  # @dynamic type
-  attr_reader :type
-end

data/smoke/class/f.rb

@@ -1,10 +0,0 @@
-# @type var e: _E
-# @type var d: D
-
-e = (_ = nil)
-d = (_ = nil)
-
-e = d
-
-e = _ = nil
-d = e

data/smoke/class/g.rb

@@ -1,6 +0,0 @@
-class B
-end
-
-class C
-  # @implements ::B
-end

data/smoke/class/h.rb

@@ -1,19 +0,0 @@
-class WithSingletonConstructor
-  # @dynamic foo
-  attr_reader :foo
-
-  def initialize(foo:)
-    @foo = foo
-  end
-
-  def self.create()
-    instance = new(foo: "hoge")
-
-    instance.foo
-
-    _ = instance
-  end
-
-  new(foo: "hoge")
-  create().foo
-end

data/smoke/class/h.rbs

@@ -1,6 +0,0 @@
-class WithSingletonConstructor
-  attr_reader foo: String
-
-  def initialize: (foo: String) -> void
-  def self.create: -> instance
-end

data/smoke/class/i.rb

@@ -1,14 +0,0 @@
-class IncompatibleChild
-  def foo(arg)
-    # @type var x: Symbol
-    x = super()
-
-    "123"
-  end
-
-  def initialize()
-    super()
-
-    super
-  end
-end

data/smoke/class/i.rbs

@@ -1,9 +0,0 @@
-class IncompatibleSuper
-  def foo: () -> Integer
-  def initialize: (name: String) -> untyped
-end
-
-class IncompatibleChild < IncompatibleSuper
-  def initialize: () -> untyped
-  def foo: (Object) -> String
-end

data/smoke/class/test_expectations.yml

@@ -1,117 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 10
-      end:
-        line: 8
-        character: 11
-    severity: ERROR
-    message: The method parameter is incompatible with the declaration `() -> ::String`
-    code: Ruby::MethodParameterMismatch
-  - range:
-      start:
-        line: 13
-        character: 6
-      end:
-        line: 13
-        character: 10
-    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: 22
-        character: 11
-      end:
-        line: 22
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `::String` because declared as type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::MethodBodyTypeMismatch
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: "@dynamic annotation contains unknown method name `type`"
-    code: Ruby::UnexpectedDynamicMethod
-- file: f.rb
-  diagnostics:
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 10
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::_E` to a variable of type `::D`
-        ::_E <: ::D
-    code: Ruby::IncompatibleAssignment
-- file: g.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::B#name`
-    code: Ruby::MethodDefinitionMissing
-  - range:
-      start:
-        line: 4
-        character: 6
-      end:
-        line: 4
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::B#name`
-    code: Ruby::MethodDefinitionMissing
-- file: i.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 4
-      end:
-        line: 4
-        character: 15
-    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
-  - range:
-      start:
-        line: 10
-        character: 4
-      end:
-        line: 10
-        character: 11
-    severity: ERROR
-    message: 'More keyword arguments are required: name'
-    code: Ruby::InsufficientKeywordArguments

data/smoke/compact/Steepfile

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

data/smoke/compact/a.rb

@@ -1,2 +0,0 @@
-# @type var a: Array[Integer | bool]
-a = [1, nil, true].compact

data/smoke/compact/a.rbs

@@ -1,5 +0,0 @@
-module Compact
-  class Foo
-    def compact: () -> Array[String | bool | nil]
-  end
-end

data/smoke/compact/b.rb

@@ -1,2 +0,0 @@
-# @type var y: Array[String | bool]
-y = Compact::Foo.new.compact

data/smoke/compact/test_expectations.yml

@@ -1,18 +0,0 @@
----
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 0
-      end:
-        line: 2
-        character: 28
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[(::String | bool | nil)]` to a variable of type `::Array[(::String | bool)]`
-        ::Array[(::String | bool | nil)] <: ::Array[(::String | bool)]
-          (::String | bool | nil) <: (::String | bool)
-            nil <: (::String | bool)
-              nil <: ::String
-    code: Ruby::IncompatibleAssignment

data/smoke/const/Steepfile

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

data/smoke/const/a.rb

@@ -1,27 +0,0 @@
-# @type const A: Integer
-# @type var x: String
-
-x = A
-
-x = B
-
-module X
-  # @type const A: Integer
-
-  def foo
-    # @type var x: String
-
-    x = A
-
-    x = B
-  end
-end
-
-
-# @type const Foo::Bar::Baz: Integer
-
-x = Foo::Bar::Baz
-
-z = Foo
-x = z::Bar::Baz
-x = ::Foo::Bar::Baz

data/smoke/const/b.rb

@@ -1,7 +0,0 @@
-module Foo
-  module Bar
-    Baz = "Hello"
-
-    Baz2 = "World"
-  end
-end

data/smoke/const/b.rbs

@@ -1,5 +0,0 @@
-module Foo
-  module Bar
-    Baz: Integer
-  end
-end

data/smoke/const/test_expectations.yml

@@ -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

@@ -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

@@ -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

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

data/smoke/diagnostics/block_body_type_mismatch.rb

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

data/smoke/diagnostics/block_type_mismatch.rb

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

data/smoke/diagnostics/break_type_mismatch.rb

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

data/smoke/diagnostics/different_method_parameter_kind.rb

@@ -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

@@ -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

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

data/smoke/diagnostics/incompatible_argument.rb

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

data/smoke/diagnostics/incompatible_assignment.rb

@@ -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

@@ -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

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

data/smoke/diagnostics/method_definition_missing.rb

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

data/smoke/diagnostics/method_parameter_mismatch.rb

@@ -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