[RFC] libstdc++: Allow function parameter reflections in annotations_of[_with_type]

[Septicake]

Hello all,

With P3795R2 suggesting the inclusion of function parameter reflections as a valid input to the annotations_of family of meta functions, I've done my own work implementing it and it seems to be a single line change in eval_annotations_of.

I've done some personal testing, and it seems to work fine, but I'm now working on writing testcases and I'm wondering what edge cases come to mind for others. I've gotten simple ones down, such as checking that the annotation count is the total of all function declarations, that the correct annotations match between the reflection of the variable within the function's scope and its equivalent parameter reflection, and that annotations_of_with_type returns the correct annotation instance and count, but I would like to know if there are any other possible edge cases that I'm missing here.

Of course time is the best test and users will find anything I don't, but I'd like to limit the amount of bugs that slip through the cracks before I create a proper patch however possible and any help in that is greatly appreciated.

Best regards,
October Reese
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://gcc.gnu.org/pipermail/libstdc++/attachments/20260402/958c43de/attachment.htm>