A splice of a name in a quoted pattern is that marks the definition of a type splice.

Adding this annotation in source has undefined behavior at compile-time