(diagnostic
  (schema slovo.diagnostic)
  (version 1)
  (severity error)
  (code IfBranchTypeMismatch)
  (message "`if` branches must have the same type")
  (file "<fixture>")
  (span
    (bytes 37 54)
    (range 5 3 5 20)
  )
  (expected "i32")
  (found "bool")
)
