Part 0 (the minimal const generics) might be stabilized in the near future. Parts 1-3 would hopefully be explored next. Fully dependent types are introduced in part 3: https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-...
In favor of https://github.com/rust-lang/rfcs/pull/2000
No other designs have been accepted to extend this yet. We're still implementing what was already accepted!
Can be reopened after minimal const generics implementation is finished (like the post discussing closure suggests) which it almost is.
> In favor of https://github.com/rust-lang/rfcs/pull/2000
That's the minimal const generics RFC.
> No other designs have been accepted to extend this yet.
A design does not need to be accepted for exploration about such a design to start.