This is Generic Associated Types, which is currently being worked on. It is such an early stage that it hasn't even been implemented on nightly yet.
traking issue
https://github.com/rust-lang/rust/issues/44265
1 Like