Annex G (informative) Ill-formed, no diagnostic required [ifndr]

G.10 [temp]: Templates [ifndr.temp]

G.10.4[ifndr:temp.constr.atomic.sat.result.diff]
Specified in: [temp.constr.atomic]

1
#
If, at different points in the program, the satisfaction result is different for identical atomic constraints and template arguments, the program is ill-formed, no diagnostic required.
2
#
[Example 1: template<class T> concept Complete = sizeof(T) == sizeof(T); struct A; static_assert(!Complete<A>); // #1 struct A {}; static_assert(Complete<A>); // IFNDR, satisfaction result differs from point #1 — end example]