[clang] [clang]: support std::meta::info for primitive types (PR #190356)
via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 9 15:31:15 PDT 2026
================
@@ -13102,7 +13102,10 @@ StmtResult TreeTransform<Derived>::TransformUnresolvedSYCLKernelCallStmt(
template <typename Derived>
ExprResult TreeTransform<Derived>::TransformCXXReflectExpr(CXXReflectExpr *E) {
// TODO(reflection): Implement its transform
- assert(false && "not implemented yet");
+ if (!E->isTypeDependent())
+ return E;
----------------
Sirraide wrote:
I guess just doing `if (!E->isTypeDependent()) return E;` is fine for now if that causes us to diagnose the example above, but we’ll definitely have to come back and update this later because this isn’t quite right. ‘Later’ being whenever we have enough implemented to support e.g. this:
```c++
template <typename T>
using Identity = [: ^^T :]; // Here, `^^T` is *not* type-dependent.
```
https://github.com/llvm/llvm-project/pull/190356
More information about the cfe-commits
mailing list