LWG-3823 Unnecessary precondition for `is_aggregate` It appears that we'll need to request an MSVC compiler change for this. I haven't checked Clang and EDG's behavior.