no error from typechecker on these special cases

Submitted by Danny Groenewegen on 17 March 2022 at 14:39

Log in to post comments