This sounds like pattern types but without the patterns. You might want to have a look at
These links are quite old. There has been more recent discussion on the topic on zulip: Public view of rust-lang | Zulip team chat
EDIT: I have just seen that the RFC has been edited in January.