src/test/ui/generic-associated-types/issue-85921.rs

   1 // check-pass
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait Trait {
   6     type Assoc<'a>;
   7
   8     fn with_assoc(f: impl FnOnce(Self::Assoc<'_>));
   9 }
  10
  11 impl Trait for () {
  12     type Assoc<'a> = i32;
  13
  14     fn with_assoc(f: impl FnOnce(Self::Assoc<'_>)) {
  15         f(5i32)
  16     }
  17 }
  18
  19 fn main() {}