Untitled.kt

# announcements

[karelpeeters]

Untitled.kt

Untitled.kt

[damian]

Ahhh that makes sense now, thanks! I feel like the error message could be clearer, though I'm not sure what it would say...

[karelpeeters]

Haha it would be great if the compiler generated counterexamples, but that's asking too much probably.