blob: 0cc7b4db8b3b406cc889711a30c9f6a55a7ccc69 (
plain)
1
2
3
4
5
6
7
|
Type error: error: Expected a type, found: `2`
--> <current file>:1:1
|
1 | 2 → _
| ^ this has type: `Natural`
|
= help: An expression in type position must have type `Type`, `Kind` or `Sort`
|