---
test:
  a.rb:
    diagnostics:
    - |
      a.rb:7:6: [error] Cannot assign a value of type `::Symbol` to a variable of type `::Integer`
      │   ::Symbol <: ::Integer
      │     ::Object <: ::Integer
      │       ::BasicObject <: ::Integer
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └       b = :foo
              ~~~~~~~~
    - |
      a.rb:4:0: [error] Cannot assign a value of type `::String` to a variable of type `::Integer`
      │   ::String <: ::Integer
      │     ::Object <: ::Integer
      │       ::BasicObject <: ::Integer
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └ a = begin
        ~~~~~~~~~
    - |
      a.rb:16:2: [error] Cannot find compatible overloading of method `+` of type `::Integer`
      │ Method types:
      │   def +: (::Integer) -> ::Integer
      │        | (::Float) -> ::Float
      │        | (::Rational) -> ::Rational
      │        | (::Complex) -> ::Complex
      │
      │ Diagnostic ID: Ruby::UnresolvedOverloading
      │
      └   1 + '1'
          ~~~~~~~
    - |
      a.rb:13:0: [error] Cannot allow method body have type `::Integer` because declared as type `::String`
      │   ::Integer <: ::String
      │     ::Numeric <: ::String
      │       ::Object <: ::String
      │         ::BasicObject <: ::String
      │
      │ Diagnostic ID: Ruby::MethodBodyTypeMismatch
      │
      └ def foo(a)
        ~~~~~~~~~~