TL;DR: design for non-top-level aliases depends on...

# eap

[dmitry.petrov]

TL;DR: design for non-top-level aliases depends on specialized generics, which are a much bigger feature, and are not there yet.