Skip to content

Requires keyword is still present in code base (with regards to C++20). #7750

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
Closed
jparsert opened this issue Jun 4, 2023 · 1 comment · Fixed by #7751
Closed

Requires keyword is still present in code base (with regards to C++20). #7750

jparsert opened this issue Jun 4, 2023 · 1 comment · Fixed by #7751

Comments

@jparsert
Copy link

jparsert commented Jun 4, 2023

Same as issue 7656. The pull request #7698 might have fixed some uses but there is still an argument names/variables with the name requires in the code base.
@jparsert jparsert closed this as completed Jun 4, 2023
@jparsert jparsert reopened this Jun 4, 2023
@jparsert jparsert mentioned this issue Jun 4, 2023
Merged
@TGWDB
Copy link
Contributor

TGWDB commented Jun 5, 2023

Good catch, approved the PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Changed "requires" as variable names to differentiate from c++20 keyword requires jparsert/cbmc
2 participants
@jparsert @TGWDB