Fine by me; but this should fail before hitting typeck anyway, so it shouldn't matter.