Sha256: 29f5a52dd5c9a42d2f4af2cfe22d9dd82780a6981db3c69dfa18b666ca2a0671
Contents?: true
Size: 1.31 KB
Versions: 5
Compression:
Stored size: 1.31 KB
Contents
---
- 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
Version data entries
5 entries across 5 versions & 1 rubygems