[PATCH] D134772: [Clang] Make constraints of auto part of NTTP instead of AutoType

Matheus Izvekov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 27 17:19:03 PDT 2022


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



More information about the cfe-commits mailing list