[Bug c++/94644] Wrong is_nothrow_move_constructible result if used in a template first

[daniel.kruegler at googlemail dot com]

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."