> Microsoft apparently criticised the proposal as unimplementable. We're talking about feedback from the dominant compiler vendor.

It's implemented in GCC mainline, it's implemented on a branch of Clang. Considering MSVC: at this point in time I'm not convinced it it a question of implementability, but of will: https://cppstat.org/de/?tags=cpp26&type=lang