summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/assoc-type-in-superbad.rs
blob: 579ce7cf70669c9f55c96078d84460a2c45d551d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// Test case where an associated type is referenced from within the
// supertrait definition, and the impl makes the wrong
// associations. Issue #20220.

use std::vec::IntoIter;

pub trait Foo: Iterator<Item=<Self as Foo>::Key> {
    type Key;
}

impl Foo for IntoIter<i32> {
    type Key = u32; //~ ERROR type mismatch
}

fn main() {
}