abrachet added subscribers: mcgrathr, abrachet.
abrachet added a comment.
This is breaking us.
template <typename T, typename... Ts> struct S; // #1
template <typename T> struct S<T> {}; // #2
The following compiled before but is now broken, (we use
`-fclang-abi-compat=13.0`). We get a warning from
`-Winvalid-partial-specialization`
This change _does_ make https://eel.is/c++draft/temp.func.order#example-5 work,
ie for function overload resolution but regresses the type deduction example
above.
There seem to be examples in the standard that suggest #2 is more specialized.
@mcgrathr found
https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1432 and
https://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1395 among
others. WDYT?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D128745/new/
https://reviews.llvm.org/D128745
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
