---
- file: a.rb
  diagnostics:
  - range:
      start:
        line: 8
        character: 0
      end:
        line: 8
        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: 10
        character: 0
      end:
        line: 10
        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
- file: b.rb
  diagnostics:
  - range:
      start:
        line: 5
        character: 2
      end:
        line: 5
        character: 9
    severity: ERROR
    message: |-
      Cannot break with a value of type `::Integer` because type `::Symbol` is assumed
        ::Integer <: ::Symbol
          ::Numeric <: ::Symbol
            ::Object <: ::Symbol
              ::BasicObject <: ::Symbol
    code: Ruby::BreakTypeMismatch
  - range:
      start:
        line: 10
        character: 0
      end:
        line: 13
        character: 3
    severity: ERROR
    message: |-
      Cannot assign a value of type `(::Integer | ::Symbol)` to a variable of type `::String`
        (::Integer | ::Symbol) <: ::String
          ::Integer <: ::String
            ::Numeric <: ::String
              ::Object <: ::String
                ::BasicObject <: ::String
    code: Ruby::IncompatibleAssignment
- file: d.rb
  diagnostics:
  - range:
      start:
        line: 6
        character: 0
      end:
        line: 6
        character: 19
    severity: ERROR
    message: |-
      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
        ::Array[::String] <: ::Array[::Float]
          ::String <: ::Float
            ::Object <: ::Float
              ::BasicObject <: ::Float
    code: Ruby::IncompatibleAssignment
  - range:
      start:
        line: 8
        character: 0
      end:
        line: 8
        character: 23
    severity: ERROR
    message: |-
      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
        ::Array[::String] <: ::Array[::Float]
          ::String <: ::Float
            ::Object <: ::Float
              ::BasicObject <: ::Float
    code: Ruby::IncompatibleAssignment
  - range:
      start:
        line: 10
        character: 0
      end:
        line: 10
        character: 29
    severity: ERROR
    message: |-
      Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
      Method types:
        def map: [U] () { (::Integer) -> U } -> ::Array[U]
               | () -> ::Enumerator[::Integer, ::Array[untyped]]
    code: Ruby::UnresolvedOverloading
  - range:
      start:
        line: 11
        character: 0
      end:
        line: 11
        character: 21
    severity: ERROR
    message: |-
      Cannot find compatible overloading of method `map` of type `::Array[::Integer]`
      Method types:
        def map: [U] () { (::Integer) -> U } -> ::Array[U]
               | () -> ::Enumerator[::Integer, ::Array[untyped]]
    code: Ruby::UnresolvedOverloading
- file: e.rb
  diagnostics:
  - range:
      start:
        line: 11
        character: 2
      end:
        line: 11
        character: 5
    severity: ERROR
    message: Type `(::Integer | ::String)` does not have method `foo`
    code: Ruby::NoMethod