mirror of https://github.com/rust-lang/rust.git
18 lines
402 B
Rust
18 lines
402 B
Rust
// 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() {}
|