Comment by NickPollard

I've not been following recent Rust development as closely, can you elaborate on what limited form of dependent types Rust is adding?