src/test/ui/generic-associated-types/issue-80433-reduced.rs

   1 // check-pass
   2
   3 struct E {}
   4
   5 trait TestMut {
   6     type Output<'a>;
   7     fn test_mut(&mut self) -> Self::Output<'static>;
   8 }
   9
  10 impl TestMut for E {
  11     type Output<'a> = usize;
  12     fn test_mut(&mut self) -> Self::Output<'static> {
  13         todo!()
  14     }
  15 }
  16
  17 fn test_simpler<'a>(_: impl TestMut<Output<'a> = usize>) {}
  18
  19 fn main() {
  20     test_simpler(E {});
  21 }