[rustc.git] / src / test / ui / error-codes / E0221.rs

trait T1 {}
trait T2 {}

trait Foo {
    type A: T1;
}

trait Bar : Foo {
    type A: T2;
    fn do_something() {
        let _: Self::A;
        //~^ ERROR E0221
    }
}

trait T3 {}

trait My : std::str::FromStr {
    type Err: T3;
    fn test() {
        let _: Self::Err;
        //~^ ERROR E0221
    }
}

fn main() {
}
Commit	Line	Data
5bcae85e SL	1	trait T1 {}
5bcae85e SL	2	trait T2 {}
3157f602	3
5bcae85e	4	trait Foo {
ff7c6d11	5	type A: T1;
5bcae85e SL	6	}
	7
	8	trait Bar : Foo {
ff7c6d11	9	type A: T2;
5bcae85e	10	fn do_something() {
9e0c209e SL	11	let _: Self::A;
9e0c209e SL	12	//~^ ERROR E0221
c30ab7b3 SL	13	}
	14	}
	15
	16	trait T3 {}
	17
	18	trait My : std::str::FromStr {
ff7c6d11	19	type Err: T3;
c30ab7b3 SL	20	fn test() {
	21	let _: Self::Err;
	22	//~^ ERROR E0221
3157f602	23	}
a7813a04 XL	24	}
	25
	26	fn main() {
54a0048b	27	}