---
test:
  a.rb:
    diagnostics:
    - |
      a.rb:3: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 = -> (x, y) do
        ~~~~~~~~~~~~~~~~
    - |
      a.rb:11:4: [error] Type `nil` does not have method `+`
      │ Diagnostic ID: Ruby::NoMethod
      │
      └   x + 1
            ~
    - |
      a.rb:10:0: [error] Cannot assign a value of type `::Proc` to a variable of type `^(::Integer) -> ::Integer`
      │   ::Proc <: ^(::Integer) -> ::Integer
      │
      │ Diagnostic ID: Ruby::IncompatibleAssignment
      │
      └ b = lambda do |x|
        ~~~~~~~~~~~~~~~~~