(diagnostic
  (schema slovo.diagnostic)
  (version 1)
  (severity error)
  (code TestExpressionNotBool)
  (message "test `not bool` must evaluate to bool")
  (file "<fixture>")
  (span
    (bytes 35 36)
    (range 5 3 5 4)
  )
  (expected "bool")
  (found "i32")
)