[PATCH] D83647: Don't allow mangling substitutions to refer to unrelated entities from different <encoding>s.

[Richard Smith - zygoloid via Phabricator via cfe-commits]

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