shafik added inline comments.
================
Comment at: clang/test/SemaTemplate/aggregate-deduction-candidate.cpp:101
+
+ template <typename T> struct E {
+ T t;
----------------
I would also like to see this test:
```
template <typename T>
struct I {
using type = T;
};
template <typename T>
struct E {
typename I<T>::type i;
T t;
};
E e1 = {1, 2}; // OK, E<int> deduced
```
Since it is in the paper, this should cover it but it can't hurt.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D139837/new/
https://reviews.llvm.org/D139837
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
