ilya-biryukov added a comment. Here's my attempt at storing the deduced type in `TypeLoc`s: D72442 <https://reviews.llvm.org/D72442>. It almost worked, but still needs an update to fix some test failures.
The change proves it's possible to do this in principle, although it does require a few hacky tweaks to type and decl printing to make sure we produce the same output in diagnostics and other places that need it. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D72119/new/ https://reviews.llvm.org/D72119 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits