This is also true for non-lifetime generic parameters:

fn main() {
    let vec: Vec<_> = vec![3];
    dbg!(vec);
}

becomes:

type Type = Vec<_>;

fn main() {
    let vec: Type = vec![3];
    dbg!(vec);
}

Originally posted by @nicolas-guichard in #20107