[PATCH] D118552: [clang] [concepts] Correctly(?) handle placeholder types in ExprRequirements.

[John McCall via Phabricator via cfe-commits]

rjmccall added a comment.

It's a type that the debugger integration uses when it doesn't know the type of a symbol.  If it's a data symbol, you make a `VarDecl` with `UnknownAny` type; if it's a function symbol, you make a `FunctionDecl` with `UnknownAny`.  In either case, if the user fails to cast it, it gets diagnosed as an error.

I can't think of any reason why we'd want to build a reference to `UnknownAny` type; generally it's bad if the type "escapes" into subordinate positions.  Probably we should be diagnosing something before we try to propagate the `UnknownAny` type.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118552/new/

https://reviews.llvm.org/D118552