Delete the test for #1372 now that it's a typechecker error (see ceylon/ceylon-spec#944, ceylon/ceylon-ide-eclipse#888)