type_of
metafunction should dealias the type
#91
Labels
p2996-conformance
Implemented behavior unintentionally diverges from P2996
P2996R6 will change
type_of
to no longer return reflections representing$typedef-name$
s - instead, a reflection of the underlying type will be returned (see here).The
type_of
function is implemented here, and we should also update thereturn_type_of
metafunction (proposed by P3096), implemented here.We have an existing
desugarType
utility inMetafunctions.cpp
that often helps with tasks like these - there is anUnwrapAliases
argument that should be set totrue
.libcxx reflection tests should of course be updated to reflect this change.
The text was updated successfully, but these errors were encountered: