I remember some feature from Rust mapping to a limited notion of dependent types, but I forget which feature. Does anyone know?
Conversation
Replying to
In addition to the other answers, you can also use traits to do metaprogramming in types, analogous to typeclass induction in Haskell. This was used prior to const generics to do dependently typed stuff, and remains useful for filling gaps in const generics.