Skip to content

P3394R4 Annotations for Reflection#8041

Merged
tkoeppe merged 1 commit into
cplusplus:mainfrom
eisenwave:motions-2025-06-cwg-5
Jul 14, 2025
Merged

P3394R4 Annotations for Reflection#8041
tkoeppe merged 1 commit into
cplusplus:mainfrom
eisenwave:motions-2025-06-cwg-5

Conversation

@eisenwave

@eisenwave eisenwave commented Jul 10, 2025

Copy link
Copy Markdown
Member

Closes #7931.
Also closes cplusplus/papers#2074.

@eisenwave eisenwave linked an issue Jul 10, 2025 that may be closed by this pull request
@eisenwave

Copy link
Copy Markdown
Member Author

@tkoeppe what's going on, big guy? We're clearly not on track to have all motions merged by the mailing deadline.

I can rebase the reflections PRs on main, now that reflections is merged. Or, do you want to do it all yourself?

@tkoeppe tkoeppe force-pushed the motions-2025-06-cwg-5 branch from e3105d7 to a9ce2dd Compare July 14, 2025 19:51
@tkoeppe

tkoeppe commented Jul 14, 2025

Copy link
Copy Markdown
Contributor

Yes, if you could rebase the other ones, that'd be helpful. (I normally do this myself.) Thanks!

@eisenwave

Copy link
Copy Markdown
Member Author

Alright, I'll rebase #8045, #8043, and #8042, in that order. If you happen to be done with this PR before I get to #8042, then I'll just have one fewer to do.

@tkoeppe tkoeppe force-pushed the motions-2025-06-cwg-5 branch from a9ce2dd to 2f01c5c Compare July 14, 2025 20:17
@tkoeppe tkoeppe merged commit d7ff520 into cplusplus:main Jul 14, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[2025-06 CWG Motion 5] P3394R4 Annotations for Reflection P3394 R4 Annotations for Reflection

2 participants