================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
