Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[clang++] Constraints aren't substituted in an unevaluated context #123472

Open
katzdm opened this issue Jan 18, 2025 · 2 comments
Open

[clang++] Constraints aren't substituted in an unevaluated context #123472

katzdm opened this issue Jan 18, 2025 · 2 comments
Labels
clang:frontend Language frontend issues, e.g. anything involving "Sema" concepts C++20 concepts

Comments

@katzdm
Copy link
Contributor

katzdm commented Jan 18, 2025

https://godbolt.org/z/EG4Kf4xvd

The expression of a simple-requirement is an unevaluated operand ([expr.prim.req.simple]), but Clang doesn't currently seem to be pushing a corresponding ExpressionEvaluationContext to treat them as such.
@llvmbot llvmbot added the clang Clang issues not falling into any other category label Jan 18, 2025
@EugeneZelenko EugeneZelenko added clang:frontend Language frontend issues, e.g. anything involving "Sema" concepts C++20 concepts and removed clang Clang issues not falling into any other category labels Jan 19, 2025
@llvmbot
Copy link
Member

llvmbot commented Jan 19, 2025

@llvm/issue-subscribers-clang-frontend

Author: Daniel M. Katz (katzdm)

https://godbolt.org/z/EG4Kf4xvd

The expression of a simple-requirement is an unevaluated operand ([expr.prim.req.simple]), but Clang doesn't currently seem to be pushing a corresponding ExpressionEvaluationContext to treat them as such.

@cor3ntin
Copy link
Contributor

@zyn0217 In case you want to look at it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
clang:frontend Language frontend issues, e.g. anything involving "Sema" concepts C++20 concepts
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@cor3ntin @katzdm @EugeneZelenko @llvmbot