rsmith added a comment.
Hm, I think this is not quite right. For example, given:
template<typename T, typename U> struct X {};
template<typename T> auto f(T a, decltype(a)) {
struct A {};
struct B {};
return X<A, B>();
}
decltype(f(0, 0)) g() {}
... I think we won't use a substitution from the first parameter of `f<int>` in
the second <local-name> back to the first parameter of `f<int>` in the first
<local-name>.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D83647/new/
https://reviews.llvm.org/D83647
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
