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

[Arthur O'Dwyer via Phabricator via cfe-commits]

Quuxplusone added a subscriber: rjmccall.
Quuxplusone added inline comments.


================
Comment at: clang/lib/AST/ASTContext.cpp:3375
+    assert(T->isSpecificPlaceholderType(BuiltinType::UnknownAny) && "Unresolved placeholder type");
+  }
 
----------------
Btw, I strongly suspect that the presence of placeholder type `UnknownAny` all the way down in here is a bug (@rjmccall, thoughts?). But I found that the test suite didn't pass without this exception, and I'm not terribly interested in tracking down why; I don't have any idea what `UnknownAny` is, myself.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118552