src/test/ui/lifetimes/missing-lifetime-in-alias.stderr

   1 error[E0106]: missing lifetime specifier
   2   --> $DIR/missing-lifetime-in-alias.rs:20:24
   3    |
   4 LL | type B<'a> = <A<'a> as Trait>::Foo;
   5    |                        ^^^^^ expected named lifetime parameter
   6    |
   7 help: consider using the `'a` lifetime
   8    |
   9 LL | type B<'a> = <A<'a> as Trait<'a>>::Foo;
  10    |                             ++++
  11
  12 error[E0106]: missing lifetime specifier
  13   --> $DIR/missing-lifetime-in-alias.rs:24:28
  14    |
  15 LL | type C<'a, 'b> = <A<'a> as Trait>::Bar;
  16    |                            ^^^^^ expected named lifetime parameter
  17    |
  18 note: these named lifetimes are available to use
  19   --> $DIR/missing-lifetime-in-alias.rs:24:8
  20    |
  21 LL | type C<'a, 'b> = <A<'a> as Trait>::Bar;
  22    |        ^^  ^^
  23 help: consider using one of the available lifetimes here
  24    |
  25 LL | type C<'a, 'b> = <A<'a> as Trait<'lifetime>>::Bar;
  26    |                                 +++++++++++
  27
  28 error[E0107]: missing generics for associated type `Trait::Bar`
  29   --> $DIR/missing-lifetime-in-alias.rs:24:36
  30    |
  31 LL | type C<'a, 'b> = <A<'a> as Trait>::Bar;
  32    |                                    ^^^ expected 1 lifetime argument
  33    |
  34 note: associated type defined here, with 1 lifetime parameter: `'b`
  35   --> $DIR/missing-lifetime-in-alias.rs:4:10
  36    |
  37 LL |     type Bar<'b>
  38    |          ^^^ --
  39 help: add missing lifetime argument
  40    |
  41 LL | type C<'a, 'b> = <A<'a> as Trait>::Bar<'a>;
  42    |                                    ~~~~~~~
  43
  44 error: aborting due to 3 previous errors
  45
  46 Some errors have detailed explanations: E0106, E0107.
  47 For more information about an error, try `rustc --explain E0106`.