18.11.4.16, after CA 053, get_constructor is not a TransformationTrait in some cases

[hubert-reinterpretcast]

A TransformationTrait is required to have a type member.

[camio]

AN: Yup, just like enable_if, see C++14 [meta.trans] "Each of the templates in this subclause shall be a TransformationTrait" versus [meta.trans.other] "If B is true, the member typedef type shall equal T; otherwise, there shall be no member type."

AN: Shall we leave this to an LWG issue? Do you want to open it or shall I send email to LWGChair?

AN: IMHO this should not be handled by us, here, but addressed by an issue.

[camio]

Left open as an issue to handle post-publication.