blob: 99a83453354483dd057272e9dad3e49f1db46343 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// 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() {}
|
