blob: 066e4a30c82cc6f70116664b887626fcc38ab841 (
plain)
1
2
3
4
5
6
|
Type error: error: annot mismatch: List Natural != Optional Natural
--> <current file>:1:0
|
1 | [ 1 ] : Optional Natural
| ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: List Natural != Optional Natural
|
|