Error in the @PolymorphicWriteEntry macro when the case parameters don't conform to `WriteEntry`

[tachyonics]

Error in the @PolymorphicWriteEntry macro when the case parameters don't conform to WriteEntry

This is currently blocked on the language macros feature providing the ability to check the type's conformance.