(diagnostic
  (schema slovo.diagnostic)
  (version 1)
  (severity error)
  (code ReturnTypeMismatch)
  (message "function `bad` returns wrong type")
  (file "<fixture>")
  (span
    (bytes 16 60)
    (range 4 1 5 17)
  )
  (expected "(array i32 2)")
  (found "(array i32 1)")
)
