blob: 948c6c7180ea30808d1de4c0ddf4ca2b5b2b6f31 (
plain)
1
2
3
4
5
6
7
|
Type error: Unhandled error: error: Invalid input type: `Natural`
--> <current file>:1:0
|
1 | 2 → _
| ^ this has type: `Natural`
|
= help: The input type of a function must have type `Type`, `Kind` or `Sort`
|