src/test/ui/impl-trait/issues/issue-99348-impl-compatibility.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 struct Concrete;
   4
   5 type Tait = impl Sized;
   6
   7 impl Foo for Concrete {
   8     type Item = Concrete;
   9     //~^ type mismatch resolving
  10 }
  11
  12 impl Bar for Concrete {
  13     type Other = Tait;
  14 }
  15
  16 trait Foo {
  17     type Item: Bar<Other = Self>;
  18 }
  19
  20 trait Bar {
  21     type Other;
  22 }
  23
  24 fn tait() -> Tait {}
  25
  26 fn main() {}