src/test/ui/generic-associated-types/issue-76535.extended.stderr

   1 error[E0107]: missing generics for associated type `SuperTrait::SubType`
   2   --> $DIR/issue-76535.rs:39:33
   3    |
   4 LL |     let sub: Box<dyn SuperTrait<SubType = SubStruct>> = Box::new(SuperStruct::new(0));
   5    |                                 ^^^^^^^ expected 1 lifetime argument
   6    |
   7 note: associated type defined here, with 1 lifetime parameter: `'a`
   8   --> $DIR/issue-76535.rs:9:10
   9    |
  10 LL |     type SubType<'a>: SubTrait where Self: 'a;
  11    |          ^^^^^^^ --
  12 help: add missing lifetime argument
  13    |
  14 LL |     let sub: Box<dyn SuperTrait<SubType<'a> = SubStruct>> = Box::new(SuperStruct::new(0));
  15    |                                 ~~~~~~~~~~~
  16
  17 error: aborting due to previous error
  18
  19 For more information about this error, try `rustc --explain E0107`.