If we can form a reference to t_TYPE, then we can also form a pointer to it. In particular, we know that it is not void (which should still work) or an "abominable" function type with a trailing cv-qualifier. Note that this partial specialization is necessary to avoid falling into degenerate (non-compiling) cases in the implementation meta-program.
| Name |
|---|
type |