blob: d0a9a01bb253c4af85ea19d0902b9a0aca65fa51 (
plain)
1
2
3
4
5
6
7
|
Type error: error: annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text }
--> <current file>:1:4
|
...
6 | in Example::{=}
| ^^^^^^^^^^^^ annot mismatch: (Example.default ⫽ {=} : { id : Optional Natural }) : { id : Optional Natural, name : Text }
|
|
