// Regression test for #132826.

// Make sure we don't try to resolve the variable `K1` in the generics of the impl
// (which only has `K2`).

pub trait MyTrait {
    type Item;
}

impl<K1> MyTrait for Vec<K1> {
    type Item = Vec<K1>;
}

impl<K2> From<Vec<K2>> for <Vec<K2> as MyTrait>::Item {}
//~^ ERROR only traits defined in the current crate can be implemented for arbitrary types

fn main() {}