trait AsPtr {
    type Ptr;
}

impl AsPtr for () {
    type Ptr = *const void;
    //~^ ERROR cannot find type `void` in this scope
}

#[derive(Copy, Clone)]
struct Foo {
    p: <() as AsPtr>::Ptr,
    // Do not report a "`Copy` cannot be implemented" here.
}

fn main() {}