steep 1.6.0 → 1.7.1

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()

data/smoke/extension/e.rb

@@ -1,2 +0,0 @@
-# @type var x: NumberLike
-x = 1 + NumberLike.new

data/smoke/extension/e.rbs

@@ -1,7 +0,0 @@
-class NumberLike
-  def to_number: -> Integer
-end
-
-class Integer
-  def `+`: (NumberLike) -> NumberLike | ...
-end

data/smoke/extension/f.rb

@@ -1,2 +0,0 @@
-array = [1,2,3]
-array.__f__.__error__

data/smoke/extension/f.rbs

@@ -1,3 +0,0 @@
-class Array[unchecked out X]
-  def __f__: () -> X
-end

data/smoke/extension/test_expectations.yml

@@ -1,73 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 2
-      end:
-        line: 8
-        character: 12
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Foo` to a variable of type `::String`
-        ::Foo <: ::String
-          ::Object <: ::String
-            ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 7
-        character: 0
-      end:
-        line: 7
-        character: 17
-    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: 10
-        character: 0
-      end:
-        line: 10
-        character: 16
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Object` to a variable of type `::Integer`
-        ::Object <: ::Integer
-          ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 4
-      end:
-        line: 6
-        character: 20
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Object` to a variable of type `::String`
-        ::Object <: ::String
-          ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-- file: f.rb
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 12
-      end:
-        line: 2
-        character: 21
-    severity: ERROR
-    message: Type `::Integer` does not have method `__error__`
-    code: Ruby::NoMethod

data/smoke/hash/Steepfile

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

data/smoke/hash/a.rb

@@ -1,17 +0,0 @@
-{ foo: "bar" }.each do |x, y|
-  # @type var x1: Symbol
-  # @type var y1: String
-
-  x1 = x
-  y1 = y
-end
-
-{ foo: "bar" }.each.with_index do |x, y|
-  # @type var a: Symbol
-  # @type var b: String
-  # @type var c: Integer
-
-  a = x[0]
-  b = x[1]
-  c = y
-end

data/smoke/hash/a.rbs

@@ -1,8 +0,0 @@
-type t = {
-  id: Integer,
-  name: String
-}
-
-class Controller
-  def params: -> { id: Integer, name: String }
-end

data/smoke/hash/b.rb

@@ -1,6 +0,0 @@
-# @type var x: Hash[Symbol, String?]
-
-x = { foo: "foo" }
-x = { foo: nil }
-
-x = { foo: 3 }

data/smoke/hash/c.rb

@@ -1,15 +0,0 @@
-# @type var params: t
-params = _ = nil
-
-id = params[:id]
-id.abcdefg
-
-name = params[:name]
-name.abcdefg
-
-params[(_=nil) ? :id : :name].abcdefg
-
-# @type var controller: Controller
-controller = _ = nil
-
-controller.params[:id] + 3

data/smoke/hash/d.rb

@@ -1,5 +0,0 @@
-# @type var params: { name: String, id: Integer }
-
-params = { id: 30, name: "Matz" }
-
-params = { id: "30", name: "foo", email: "matsumoto@soutaro.com" }

data/smoke/hash/e.rb

@@ -1 +0,0 @@
-Foo.new.get({ foo: 3 }).fffffffffffff

data/smoke/hash/e.rbs

@@ -1,3 +0,0 @@
-class Foo
-  def get: [X] ({ foo: X }) -> X
-end

data/smoke/hash/f.rb

@@ -1,11 +0,0 @@
-# @type method commit: (Hash[Symbol, String?]) -> { repo: String, branch: String?, tag: String?, commit: String? }?
-def commit(hash)
-  if repo = hash[:foo]
-    {
-      repo: repo,
-      branch: hash[:bar],
-      tag: hash[:baz],
-      commit: hash[:commit]
-    }
-  end
-end

data/smoke/hash/test_expectations.yml

@@ -1,81 +0,0 @@
----
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 14
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Hash[::Symbol, ::Integer]` to a variable of type `::Hash[::Symbol, (::String | nil)]`
-        ::Hash[::Symbol, ::Integer] <: ::Hash[::Symbol, (::String | nil)]
-          ::Integer <: (::String | nil)
-            ::Integer <: ::String
-              ::Numeric <: ::String
-                ::Object <: ::String
-                  ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 3
-      end:
-        line: 5
-        character: 10
-    severity: ERROR
-    message: Type `::Integer` does not have method `abcdefg`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 8
-        character: 5
-      end:
-        line: 8
-        character: 12
-    severity: ERROR
-    message: Type `::String` does not have method `abcdefg`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 10
-        character: 30
-      end:
-        line: 10
-        character: 37
-    severity: ERROR
-    message: Type `(::Integer | ::String)` does not have method `abcdefg`
-    code: Ruby::NoMethod
-- file: d.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 0
-      end:
-        line: 5
-        character: 66
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `{ :email => ::String, :id => ::String, :name => ::String }` to a variable of type `{ :id => ::Integer, :name => ::String }`
-        { :email => ::String, :id => ::String, :name => ::String } <: { :id => ::Integer, :name => ::String }
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: e.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 24
-      end:
-        line: 1
-        character: 37
-    severity: ERROR
-    message: Type `::Integer` does not have method `fffffffffffff`
-    code: Ruby::NoMethod

data/smoke/hello/Steepfile

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

data/smoke/hello/hello.rb

@@ -1,11 +0,0 @@
-# @type var x: _Foo
-# @type var y: _Bar
-
-x = (_ = nil)
-y = (_ = nil)
-
-a = x.foo
-
-b = y.foo
-
-x = y

data/smoke/hello/hello.rbs

@@ -1,7 +0,0 @@
-interface _Foo
-  def foo: -> untyped
-end
-
-interface _Bar
-  def bar: -> untyped
-end

data/smoke/hello/test_expectations.yml

@@ -1,25 +0,0 @@
----
-- file: hello.rb
-  diagnostics:
-  - range:
-      start:
-        line: 9
-        character: 6
-      end:
-        line: 9
-        character: 9
-    severity: ERROR
-    message: Type `::_Bar` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 11
-        character: 0
-      end:
-        line: 11
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::_Bar` to a variable of type `::_Foo`
-        ::_Bar <: ::_Foo
-    code: Ruby::IncompatibleAssignment

data/smoke/if/Steepfile

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

data/smoke/if/a.rb

@@ -1,20 +0,0 @@
-# @type var a: String
-
-x = y = z = (_ = nil)
-
-a = if x
-      :foo
-    end
-
-if y
-  :foo
-else
-  "baz"
-end
-
-a = if z
-      "foofoo"
-    else
-      3
-    end
-

data/smoke/if/test_expectations.yml

@@ -1,34 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 0
-      end:
-        line: 7
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Symbol | nil)` to a variable of type `::String`
-        (::Symbol | nil) <: ::String
-          ::Symbol <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 0
-      end:
-        line: 19
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::String`
-        (::String | ::Integer) <: ::String
-          ::Integer <: ::String
-            ::Numeric <: ::String
-              ::Object <: ::String
-                ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment

data/smoke/implements/Steepfile

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

data/smoke/implements/a.rb

@@ -1,12 +0,0 @@
-class A
-  # @implements A
-
-  def foo()
-  end
-
-  def bar()
-  end
-
-  def self.baz
-  end
-end

data/smoke/implements/a.rbs

@@ -1,6 +0,0 @@
-class A
-  def foo: -> untyped
-  def baz: -> untyped
-  def self.bar: -> untyped
-  def self.baz: -> untyped
-end

data/smoke/implements/b.rb

@@ -1,13 +0,0 @@
-class B
-  Request = _ = Struct.new(:method, :path, keyword_init: true) do
-    # @implements Request
-
-    def post?
-      method == "POST"
-    end
-
-    def get?
-      method == "GET"
-    end
-  end
-end

data/smoke/implements/b.rbs

@@ -1,12 +0,0 @@
-class B
-  class Request
-    attr_reader method: String
-    attr_reader path: String
-
-    def initialize: (method: String, path: String) -> void
-
-    def post?: () -> bool
-
-    def get?: () -> bool
-  end
-end

data/smoke/implements/test_expectations.yml

@@ -1,23 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::A#baz`
-    code: Ruby::MethodDefinitionMissing
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: Cannot find implementation of method `::A.bar`
-    code: Ruby::MethodDefinitionMissing

data/smoke/initialize/Steepfile

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

data/smoke/initialize/a.rb

@@ -1,12 +0,0 @@
-class A
-  # @implements A
-
-  def initialize()
-    
-  end
-
-  def foo()
-    # initialize is a private method, so can be called here
-    initialize()
-  end
-end

data/smoke/initialize/a.rbs

@@ -1,3 +0,0 @@
-class A
-  def initialize: () -> untyped
-end

data/smoke/initialize/test_expectations.yml

@@ -1 +0,0 @@
---- []

data/smoke/integer/Steepfile

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

data/smoke/integer/a.rb

@@ -1,26 +0,0 @@
-# @type var x: Numeric
-x = _ = 1
-integer_1 = Integer(x)
-integer_1.foo
-
-integer_2 = Integer("1")
-integer_2.foo
-
-class WithToInt
-  def to_int; 1; end
-end
-integer_3 = Integer(WithToInt.new)
-integer_3.foo
-
-class WithToI
-  def to_i; 1; end
-end
-integer_4 = Integer(WithToI.new)
-integer_4.foo
-
-integer_5 = Integer("10", 2)
-integer_5.foo
-
-Integer(Object.new)
-
-Integer(nil)

data/smoke/integer/test_expectations.yml

@@ -1,110 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 10
-      end:
-        line: 4
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 7
-        character: 10
-      end:
-        line: 7
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 9
-        character: 6
-      end:
-        line: 9
-        character: 15
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `WithToInt`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 12
-        character: 20
-      end:
-        line: 12
-        character: 29
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `WithToInt`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 13
-        character: 10
-      end:
-        line: 13
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 15
-        character: 6
-      end:
-        line: 15
-        character: 13
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `WithToI`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 18
-        character: 20
-      end:
-        line: 18
-        character: 27
-    severity: ERROR
-    message: 'Cannot find the declaration of constant: `WithToI`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 19
-        character: 10
-      end:
-        line: 19
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 22
-        character: 10
-      end:
-        line: 22
-        character: 13
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 24
-        character: 0
-      end:
-        line: 24
-        character: 19
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `Integer` of type `::Object`
-      Method types:
-        def Integer: ((::_ToInt | ::_ToI), ?exception: true) -> ::Integer
-                   | ((::_ToInt | ::_ToI), exception: bool) -> (::Integer | nil)
-                   | (::string, ?::int, ?exception: true) -> ::Integer
-                   | (::string, ?::int, exception: bool) -> (::Integer | nil)
-                   | (untyped, ?untyped, exception: false) -> nil
-    code: Ruby::UnresolvedOverloading