On Tue, Jun 17, 2025 at 8:53 AM Arthur O'Dwyer wrote:

> However, the thing in this thread is yet again different:
> it's kind of like `is_trivially_const_referenceable_as<T, U>`.


The only thing that could get in the way is mutable members. Which is
why I think we should have:

    std::has_mutable_members_v<T>