Proposed resolution:

This wording is relative to N4964.

1. Modify [mdspan.extents.expo] as indicated:

   template<class OtherIndexType>
     static constexpr auto index-cast(OtherIndexType&& i) noexcept;
   

   -9- Effects:

   1. (9.1) — If remove_cvref_t<OtherIndexType> is an integral type other than bool, then equivalent to return i;,

   2. (9.2) — otherwise, equivalent to return static_cast<index_type>(i);.

   [Note 1: This function will always return an integral type other than bool. Since this function's call sites are constrained on convertibility of OtherIndexType to index_type, integer-class types can use the static_cast branch without loss of precision. — end note]

[ Kona 2025-11-08; Status changed: Voting → WP. ]

[ 2025-10-17; Reflector poll. ]

Set status to Tentatively Ready after eight votes in favour during reflector poll.

"Doesn't matter in this case, but logically `decay_t` seems like a better fit."

The exposition-only static member index-cast of extents is specified as ([mdspan.extents.expo]/9):

template<class OtherIndexType>
static constexpr auto index-cast(OtherIndexType&& i) noexcept;

-9- Effects:

1. (9.1) — If OtherIndexType is an integral type other than bool, then equivalent to return i;,

2. (9.2) — otherwise, equivalent to return static_cast<index_type>(i);.

[Note 1: This function will always return an integral type other than bool. Since this function's call sites are constrained on convertibility of OtherIndexType to index_type, integer-class types can use the static_cast branch without loss of precision. — end note]

This function returns T when passed an rvalue of cv-unqualified integral type T, but index_type when passed a cv-qualified and/or lvalue argument of any integral type. It would seem more consistent and easier to reason about if 9.1 was instead conditional on remove_cvref_t<OtherIndexType>.