`<functional>`: unwrap `move_only_function` with abominable and noexcept types - #5917

Merged

Stephan T. Lavavej (StephanTLavavej) merged 23 commits into

microsoft:mainfrom

AlexGuteniev:abominable

Jan 20, 2026

Commits on Nov 29, 2025

avoid preprocessor to make the checker less messy
Alex Guteniev (AlexGuteniev)
committed
91cc747
test status quo on abominables and noexcept specifier
Alex Guteniev (AlexGuteniev)
committed
12d458b
inner function
Alex Guteniev (AlexGuteniev)
committed
062fca7
inner move_only_function
Alex Guteniev (AlexGuteniev)
committed
2569e12
format
Alex Guteniev (AlexGuteniev)
committed
d6e3032
-unnecessary repetitions
Alex Guteniev (AlexGuteniev)
committed
e3d13ad
-newline
Alex Guteniev (AlexGuteniev)
committed
febad55
clearer name
Alex Guteniev (AlexGuteniev)
committed
ffd98f8
avoid emitting dead code
Alex Guteniev (AlexGuteniev)
committed
ec48ebb
let's not pretend it's non-static
Alex Guteniev (AlexGuteniev)
committed
d726b12

Commits on Nov 30, 2025

Commits on Dec 1, 2025

Merge branch 'main' into abominable
Alex Guteniev (AlexGuteniev)
committed
932b7ff
Merge branch 'main' into abominable
Alex Guteniev (AlexGuteniev)
committed
362c4f8

Commits on Dec 19, 2025

Merge branch 'microsoft:main' into abominable
Alex Guteniev (AlexGuteniev)
authored
27961b2

Commits on Jan 17, 2026

Commits on Jan 18, 2026

Fix strict aliasing concern
Alex Guteniev (AlexGuteniev)
committed
1f17e26
old function is never noexcept
Alex Guteniev (AlexGuteniev)
committed
4c8669a
Use `_Noexcept` in the generator.
Stephan T. Lavavej (StephanTLavavej)
committed
ff3b0c6
Regenerate.
Stephan T. Lavavej (StephanTLavavej)
committed
ab58959
Restore newline.
Stephan T. Lavavej (StephanTLavavej)
committed
a05d84a
Always respect `__cpp_noexcept_function_type`.
Stephan T. Lavavej (StephanTLavavej)
committed
5f2f254