I made the following mistake when writing some deftype code:
This produced no compiler errors and generated bad code which resulted in a bit of confusion.
It’s true that this is a specific case of a more general problem around codegen for . and new. So it might be worthwhile to enumerate other similar cases where . can be easily disallowed. These cases have to be syntactical, not expression oriented - so there probably aren't really that many.