Parse successful.
Type mismatch: expected `Type0`, got (inferred): `Type1`.
When checking the declaration of `error`.
Type-Check failed.