On 1/7/26 6:04 PM, Jakub Jelinek wrote:
On Wed, Jan 07, 2026 at 04:11:10PM +0800, Jason Merrill wrote:
+/* Process std::meta::remove_reference.
+ Returns: a reflection representing the type denoted by
+ std::remove_reference_t<T>, where T is the type or type alias
+ represented by type. */
+
+static tree
+eval_remove_reference (location_t loc, tree type)
+{
+ if (TYPE_REF_P (type))
+ type = TREE_TYPE (type);
+ type = strip_typedefs (type);
Not necessary here, actually.
Do you mean not necessary to move the call earlier, or not necessary
to call strip_typedefs at all? I think the call is needed,
typedef int T;
static_assert (remove_reference (^^T) == dealias (^^T));
Right, I meant not necessary to move it.
Jason
