blob: 27f67b24c723a4e7de95becf4932ae85f8c631d9 (
plain)
1
2
3
4
5
6
|
Type error: error: AssertMismatch
--> <current file>:1:15
|
1 | \(_: Bool) -> assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ AssertMismatch
|
|