Struct constructors can resolve to structs that are shadowed by type parameters

[jseyfried]

For example,

struct T { i: i32 }
impl T {
    fn new() -> Self { unimplemented!() }
}

fn f<T>() {
    let t = T { i: 0 }; // This use of `T` refers to the struct
    let t = T::new(); // This use of `T` refers to the type parameter (and so is an error)
}

[jseyfried]

Also,

mod T {
    pub fn f() { println!("foo"); }
}

trait Bar {
    fn f() { println!("bar"); }
}
impl Bar for () {}

fn f<T: Bar>(t: T) {
    T::f();
}

fn main() {
    f(()) // This prints "foo". If the module `T` is removed, it prints "bar".
}

[arielb1]

I think the culprit is that associated item notation/UFCS is shadowed by everything.