mizvekov added a comment. I don't think the problem here is an uniquing problem per se, it's just that the constraints are part of the canonical type of undeduced auto, which is undesirable for the NTTP.
Maybe it would work to just add a new flag parameter to `ASTContext::getAutoType` which makes it not add the constraints to the canonical type? It is odd that the handling for TTP and NTTP is different here, but perhaps we could move TTP to this solution as well? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D134772/new/ https://reviews.llvm.org/D134772 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
