Greetings, I was working on this bug here: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88395
I don't know if this is correct but after tracing it seems that this is wrong: tree vars = tsubst (t, args, complain, in_decl); and T would be wrapped in the correct caller to avoid segaults in some cases. This is for tsubst_constraint_variables in gcc/cp/constraint.cc from the root source directory. If that is correct. I was wondering what of the PARM_X marcos is the one used to fix up and wrap the tree t correctly. Cheers, Nick