1 2 3 4 5 6
Type error: error: annot mismatch: { x : Natural } != { x : Text } --> <current file>:1:0 | 1 | { x = 1 } : { x : Text } | ^^^^^^^^^ annot mismatch: { x : Natural } != { x : Text } |