https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94644
--- Comment #3 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Avi Kivity from comment #2) > PR 94033 is also related to constructibity trait testing with an > inaccessible constructor. Looks like the intrinsic depends on where it was > evaluated. Indeed this would be non-conforming, because we require ([meta.unary.prop] p8): "Access checking is performed as if in a context unrelated to T and any of the Args. Only the validity of the immediate context of the variable initialization is considered."