src/test/run-make-fulldeps/issues-41478-43796/a.rs

#![crate_type = "lib"]
pub struct V<S>(S);
pub trait An {
    type U;
}
pub trait F<A> {
}
impl<A: An> F<A> for V<<A as An>::U> {
}