yronglin wrote: > IMO this is incorrect. https://eel.is/c++draft/type.traits clearly states > that both types have to be complete.
> T is a reference type, and the initialization T t(VAL<U>); is well-formed If the precondition `T is a reference type` is not satisfied, I think the compiler should not try to instantiation `T t(VAL<U>);`. This is what the PR want to fix. https://github.com/llvm/llvm-project/pull/206527 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
