Verify that a corner case compiles