Comment Comment by steveklabnik I am a bit under-educated about the exact specifics here, but I should note that this feature was originally literally dependent types.* https://github.com/rust-lang/rfcs/pull/1657* https://github.com/rust-lang/rfcs/issues/1930* https://github.com/rust-lang/rfcs/pull/2000 (the design that was accepted, in the end)(I am not actually 100% sure if rfc 2000 meets the by-the-book definition of "dependent types", my copy of Pierce has been collecting dust. Really gotta study up more on this stuff.) parent steveklabnik 5 years ago
* https://github.com/rust-lang/rfcs/pull/1657
* https://github.com/rust-lang/rfcs/issues/1930
* https://github.com/rust-lang/rfcs/pull/2000 (the design that was accepted, in the end)
(I am not actually 100% sure if rfc 2000 meets the by-the-book definition of "dependent types", my copy of Pierce has been collecting dust. Really gotta study up more on this stuff.)