Implement LWG-4266: `layout_stride::mapping` should treat empty mappings as exhaustive - #5880

Merged

Stephan T. Lavavej (StephanTLavavej) merged 7 commits into

microsoft:mainfrom

JMazurkiewicz:lwg4266

Nov 19, 2025

Commits on Nov 18, 2025

Implement LWG-4266: `is_always_exhaustive` function
Jakub Mazurkiewicz (JMazurkiewicz)
committed
624563f
Implement LWG-4266: `is_exhaustive` function
Jakub Mazurkiewicz (JMazurkiewicz)
committed
f730dfa
Update tests
Jakub Mazurkiewicz (JMazurkiewicz)
committed
576dc45
Update libc++ tests
Jakub Mazurkiewicz (JMazurkiewicz)
committed
8de180a
Remove unnecessary `_Count_static_extents_equal_to` helper
Jakub Mazurkiewicz (JMazurkiewicz)
committed
ff9db7c
Drive-by: Use `index_type` instead of `rank_type` in `_Stride_extent_pair`
Jakub Mazurkiewicz (JMazurkiewicz)
committed
4556daf

Commits on Nov 19, 2025

Am I wrong? No, it's the children who are wrong.
Stephan T. Lavavej (StephanTLavavej)
committed
d3ded3b