[clang] [clang][bytecode] Reject dependent RequiresExprs (PR #155230)

Timm Baeder via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 25 20:21:28 PDT 2025


tbaederr wrote:

> Do you know which clause causes clang to choose to reject this, looks like we are the only one: https://godbolt.org/z/KhfeP5W6d
> 
> CC @hokein looks like came in w/ [bd4662c](https://github.com/llvm/llvm-project/commit/bd4662cd3f3743e08699e6bab976d9e7b163ece0)

No clue. The `RequiresExpr` ends  up being dependent, but that does not end up being propagated to any parent nodes, so none of the previous dependency checks works. Whether the `RequiresExpr` (or its `SimpleRequirement`) should be dependent at all, I don't know.

https://github.com/llvm/llvm-project/pull/155230


More information about the cfe-commits mailing list