src/test/ui/error-codes/E0221.rs

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