@DevAndArtist has a good memory—I tried to include this in SE-0254, but it wasn't the primary thrust of the proposal and I didn't finish implementing it in the limited time I could devote to a stretch goal. It seems totally doable, and might even be easy for someone who knows IRGen better than me—it just requires a lot of little corrections throughout the compiler. (When I stopped, I was in IRGen and still needed to make resilience work.)
I'm not a core team member, but I suspect that if there was a proposal and working implementation, it would very likely be accepted. Once we had static key paths working, key path-based dynamic member lookup for static members would most likely fall out of the implementation naturally.