---
test:
  a.rb:
    diagnostics:
    - |
      a.rb:4:0: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
      │   ::Integer <: ::String
      │     ::Numeric <: ::String
      │       ::Object <: ::String
      │         ::BasicObject <: ::String
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └ x = A
        ~~~~~
    - |
      a.rb:6:4: [error] Cannot detect the type of the expression
      │ Diagnostic ID: Ruby::FallbackAny
      │
      └ x = B
            ~
    - |
      a.rb:8:7: [error] Cannot detect the type of the expression
      │ Diagnostic ID: Ruby::FallbackAny
      │
      └ module X
               ~
    - |
      a.rb:14:4: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
      │   ::Integer <: ::String
      │     ::Numeric <: ::String
      │       ::Object <: ::String
      │         ::BasicObject <: ::String
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └     x = A
            ~~~~~
    - |
      a.rb:16:8: [error] Cannot detect the type of the expression
      │ Diagnostic ID: Ruby::FallbackAny
      │
      └     x = B
                ~
    - |
      a.rb:23:0: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
      │   ::Integer <: ::String
      │     ::Numeric <: ::String
      │       ::Object <: ::String
      │         ::BasicObject <: ::String
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └ x = Foo::Bar::Baz
        ~~~~~~~~~~~~~~~~~
    - |
      a.rb:26:4: [error] Cannot detect the type of the expression
      │ Diagnostic ID: Ruby::FallbackAny
      │
      └ x = z::Bar::Baz
            ~~~~~~
    - |
      a.rb:26:4: [error] Cannot detect the type of the expression
      │ Diagnostic ID: Ruby::FallbackAny
      │
      └ x = z::Bar::Baz
            ~~~~~~~~~~~
    - |
      a.rb:27:0: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
      │   ::Integer <: ::String
      │     ::Numeric <: ::String
      │       ::Object <: ::String
      │         ::BasicObject <: ::String
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └ x = ::Foo::Bar::Baz
        ~~~~~~~~~~~~~~~~~~~
  b.rb:
    diagnostics:
    - |
      b.rb:3:4: [error] Cannot assign a value of type `::String` to a constant of type `::Integer`
      │   ::String <: ::Integer
      │     ::Object <: ::Integer
      │       ::BasicObject <: ::Integer
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └     Baz = "Hello"
            ~~~~~~~~~~~~~
    - |
      b.rb:5:4: [error] Cannot find the declaration of constant `Baz2`
      │ Diagnostic ID: Ruby::UnknownConstantAssigned
      │
      └     Baz2 = "World"
            ~~~~