This seems equivalent to what we've got today, but doesn't re-evaluate sized_sentinel_for, so it's arguably easier on the compiler.
Casting int(&)[10] to int* const& strikes me as "clever", but I think it works.
Don't merge until LWG3664 is resolved, or at least seems likely to resolve in this direction. But let's poke buildkite with this and prove that it doesn't fail any of our existing regression tests.
The corresponding PR for Microsoft STL is https://github.com/microsoft/STL/pull/2522