> These RFCs were closed

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.

I don't think that we're really at odds here, I think I'm just more conservative when representing the status of the feature than you are. It's already taken over three years for the minimal version of the feature, and the author of the PI types trilogy RFCs has quit open source entirely. I just don't want to give the impression that this is happening any time soon.