Isn‘t this due to missing qualified lookup on generic types?
The current pitch takes a few ideas from that thread. I could probably write a proposal but it‘s out of my scope to be able to implement it. With qualified lookup you‘ll be able to write a typealias on your nested type to refer to the generic parameter of the outer type.