steep 1.6.0 → 1.7.0.dev.1

data/smoke/interface/test_expectations.yml

@@ -1,23 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 12
-      end:
-        line: 5
-        character: 15
-    severity: ERROR
-    message: Type `::A::Object` does not have method `bar`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 10
-        character: 11
-      end:
-        line: 10
-        character: 18
-    severity: ERROR
-    message: Type `::Object` does not have method `object?`
-    code: Ruby::NoMethod

data/smoke/kwbegin/Steepfile

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

data/smoke/kwbegin/a.rb

@@ -1,7 +0,0 @@
-# @type var a: Integer
-
-a = begin
-  # @type var x: String
-  x = '1'
-  x
-end

data/smoke/kwbegin/test_expectations.yml

@@ -1,17 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 7
-        character: 3
-    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

data/smoke/lambda/Steepfile

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

data/smoke/lambda/a.rb

@@ -1,10 +0,0 @@
-# @type var a: Integer
-
-a = -> (x, y) do
-  # @type var x: String
-  # @type var y: String
-  x + y
-end["foo", "bar"]
-
-# @type var c: ^(Integer) -> Integer
-c = -> (x) { x + 1 }

data/smoke/lambda/test_expectations.yml

@@ -1,17 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        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

data/smoke/literal/Steepfile

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

data/smoke/literal/a.rb

@@ -1,11 +0,0 @@
-# @type var x: String
-# @type var y: Integer
-
-x = 1
-
-x = :foo
-
-y = "foo"
-
-x = true
-y = false

data/smoke/literal/b.rb

@@ -1,7 +0,0 @@
-l = LiteralMethods.new
-
-l.foo(3)
-l.foo(4)
-
-l.bar(foo: :foo)
-l.bar(foo: :bar)

data/smoke/literal/literal_methods.rbs

@@ -1,4 +0,0 @@
-class LiteralMethods
-  def foo: (3) -> 4
-  def bar: (foo: :foo) -> 5
-end

data/smoke/literal/test_expectations.yml

@@ -1,106 +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: 0
-      end:
-        line: 6
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Symbol` to a variable of type `::String`
-        ::Symbol <: ::String
-          ::Object <: ::String
-            ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 9
-    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: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `bool` to a variable of type `::String`
-        bool <: ::String
-          (true | false) <: ::String
-            true <: ::String
-              ::TrueClass <: ::String
-                ::Object <: ::String
-                  ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 11
-        character: 0
-      end:
-        line: 11
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `bool` to a variable of type `::Integer`
-        bool <: ::Integer
-          (true | false) <: ::Integer
-            true <: ::Integer
-              ::TrueClass <: ::Integer
-                ::Object <: ::Integer
-                  ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 6
-      end:
-        line: 4
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Integer` as an argument of type `3`
-        ::Integer <: 3
-    code: Ruby::ArgumentTypeMismatch
-  - range:
-      start:
-        line: 7
-        character: 11
-      end:
-        line: 7
-        character: 15
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Symbol` as an argument of type `:foo`
-        ::Symbol <: :foo
-    code: Ruby::ArgumentTypeMismatch

data/smoke/map/Steepfile

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

data/smoke/map/a.rb

@@ -1,5 +0,0 @@
-a = [1,2,3]
-
-# @type var b: Array[Integer]
-
-b = a.map {|x| x.to_i }

data/smoke/map/test_expectations.yml

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

data/smoke/method/Steepfile

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

data/smoke/method/a.rb

@@ -1,21 +0,0 @@
-# @type method foo: (Integer, y: Integer) -> String
-
-def foo(x, y:)
-  # @type var z: String
-
-  z = x
-
-  z = y
-
-  3
-end
-
-# @type method bar: (Integer) -> String
-
-def bar(x, y)
-  # @type var z: String
-
-  z = x
-
-  z = y
-end

data/smoke/method/a.rbs

@@ -1,4 +0,0 @@
-class X
-  def foo: (String) -> Integer
-         | (Integer) -> String
-end

data/smoke/method/b.rb

@@ -1,25 +0,0 @@
-class A
-  # @implements X
-
-  def foo(x)
-    :foobar
-  end
-end
-
-class B
-  # @implements X
-
-  # @type method foo: (::String | ::Integer) -> untyped
-  def foo(x)
-    3
-  end
-end
-
-class C
-  # @implements X
-
-  # @type method foo: (Symbol) -> Symbol
-  def foo(x)
-    :foo
-  end
-end

data/smoke/method/c.rb

@@ -1,5 +0,0 @@
-a = 123
-
-a = -a
-b = !a
-c = a.nil?

data/smoke/method/d.rb

@@ -1 +0,0 @@
-KeywordMethod.new.hello(type: 123)

data/smoke/method/d.rbs

@@ -1,3 +0,0 @@
-class KeywordMethod
-  def hello: (type: Integer) -> void
-end

data/smoke/method/test_expectations.yml

@@ -1,121 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 4
-      end:
-        line: 3
-        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: 6
-        character: 2
-      end:
-        line: 6
-        character: 7
-    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: 8
-        character: 2
-      end:
-        line: 8
-        character: 7
-    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: 15
-        character: 11
-      end:
-        line: 15
-        character: 12
-    severity: ERROR
-    message: The method parameter is incompatible with the declaration `(::Integer)
-      -> ::String`
-    code: Ruby::MethodParameterMismatch
-  - range:
-      start:
-        line: 18
-        character: 2
-      end:
-        line: 18
-        character: 7
-    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: 1
-        character: 6
-      end:
-        line: 1
-        character: 7
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `A`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 4
-        character: 6
-      end:
-        line: 4
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`
-        ::Symbol <: (::Integer | ::String)
-          ::Symbol <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::MethodBodyTypeMismatch
-  - range:
-      start:
-        line: 9
-        character: 6
-      end:
-        line: 9
-        character: 7
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `B`'
-    code: Ruby::UnknownConstant
-  - range:
-      start:
-        line: 18
-        character: 6
-      end:
-        line: 18
-        character: 7
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `C`'
-    code: Ruby::UnknownConstant

data/smoke/module/Steepfile

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

data/smoke/module/a.rb

@@ -1,19 +0,0 @@
-module A
-  # @implements A
-
-  def count
-    # @type var n: ::Integer
-    n = 0
-
-    each do |_|
-      n = n + 1
-    end
-
-    # @type var s: String
-    s = n
-
-    foo()
-
-    n
-  end
-end

data/smoke/module/a.rbs

@@ -1,16 +0,0 @@
-interface _Each2[A, B]
-  def each: { (A) -> untyped } -> B
-end
-
-module A : _Each2[Integer, A]
-  def count: () -> Integer
-end
-
-module X
-  def foo: () -> Integer
-end
-
-module Palette
-  def self?.defacto_palette: -> Array[Array[Integer]]
-  def self.nestopia_palette: -> Array[Array[Integer]]
-end

data/smoke/module/b.rb

@@ -1,6 +0,0 @@
-# @type var klass: Class
-# @type var mod: Module
-
-3.is_a?(3.class)
-klass = 3.class
-mod = "".class

data/smoke/module/c.rb

@@ -1,22 +0,0 @@
-module A
-  # @implements A
-
-  def count
-    if block_given?
-      n = 0
-
-      each do |_|
-        n = n + 1
-      end
-
-      n
-    else
-      0
-    end
-  end
-
-  # ok
-  block_given?
-
-  no_such_method_in_module
-end

data/smoke/module/d.rb

@@ -1,4 +0,0 @@
-# If there is a same name module definition, it automatically implements.
-
-module X
-end

data/smoke/module/e.rb

@@ -1,13 +0,0 @@
-# If module has a @implements annotation, it wins
-
-module X
-  # @implements A
-
-  def count
-    3
-  end
-
-  def foo
-    "3"
-  end
-end

data/smoke/module/f.rb

@@ -1,11 +0,0 @@
-module Palette
-  module_function
-
-  # @dynamic self.defacto_palette
-
-  def defacto_palette
-    []
-  end
-
-  # @dynamic nestopia_palette
-end

data/smoke/module/test_expectations.yml

@@ -1,75 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 13
-        character: 4
-      end:
-        line: 13
-        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: 15
-        character: 4
-      end:
-        line: 15
-        character: 7
-    severity: ERROR
-    message: Type `(::Object & ::_Each2[::Integer, ::A] & ::A)` does not have method
-      `foo`
-    code: Ruby::NoMethod
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 21
-        character: 2
-      end:
-        line: 21
-        character: 26
-    severity: ERROR
-    message: Type `singleton(::A)` does not have method `no_such_method_in_module`
-    code: Ruby::NoMethod
-- file: d.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 7
-      end:
-        line: 3
-        character: 8
-    severity: ERROR
-    message: Cannot find implementation of method `::X#foo`
-    code: Ruby::MethodDefinitionMissing
-- file: f.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 7
-      end:
-        line: 1
-        character: 14
-    severity: ERROR
-    message: Cannot find implementation of method `::Palette.nestopia_palette`
-    code: Ruby::MethodDefinitionMissing
-  - range:
-      start:
-        line: 1
-        character: 7
-      end:
-        line: 1
-        character: 14
-    severity: ERROR
-    message: "@dynamic annotation contains unknown method name `nestopia_palette`"
-    code: Ruby::UnexpectedDynamicMethod

data/smoke/regexp/Steepfile

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