src/test/ui/generic-associated-types/parameter_number_and_kind_impl.stderr

   1 error[E0195]: lifetime parameters or bounds on type `A` do not match the trait declaration
   2   --> $DIR/parameter_number_and_kind_impl.rs:15:11
   3    |
   4 LL |     type A<'a>;
   5    |           ---- lifetimes in impl do not match this type in trait
   6 ...
   7 LL |     type A = u32;
   8    |           ^ lifetimes do not match type in trait
   9
  10 error[E0049]: type `B` has 1 type parameter but its trait declaration has 0 type parameters
  11   --> $DIR/parameter_number_and_kind_impl.rs:17:12
  12    |
  13 LL |     type B<'a, 'b>;
  14    |            --  --
  15    |            |
  16    |            expected 0 type parameters
  17 ...
  18 LL |     type B<'a, T> = Vec<T>;
  19    |            ^^  ^
  20    |            |
  21    |            found 1 type parameter
  22
  23 error[E0195]: lifetime parameters or bounds on type `C` do not match the trait declaration
  24   --> $DIR/parameter_number_and_kind_impl.rs:19:11
  25    |
  26 LL |     type C;
  27    |           - lifetimes in impl do not match this type in trait
  28 ...
  29 LL |     type C<'a> = u32;
  30    |           ^^^^ lifetimes do not match type in trait
  31
  32 error[E0049]: type `A` has 1 type parameter but its trait declaration has 0 type parameters
  33   --> $DIR/parameter_number_and_kind_impl.rs:26:12
  34    |
  35 LL |     type A<'a>;
  36    |            -- expected 0 type parameters
  37 ...
  38 LL |     type A<T> = u32;
  39    |            ^ found 1 type parameter
  40
  41 error[E0195]: lifetime parameters or bounds on type `B` do not match the trait declaration
  42   --> $DIR/parameter_number_and_kind_impl.rs:28:11
  43    |
  44 LL |     type B<'a, 'b>;
  45    |           -------- lifetimes in impl do not match this type in trait
  46 ...
  47 LL |     type B<'a> = u32;
  48    |           ^^^^ lifetimes do not match type in trait
  49
  50 error[E0049]: type `C` has 1 type parameter but its trait declaration has 0 type parameters
  51   --> $DIR/parameter_number_and_kind_impl.rs:30:12
  52    |
  53 LL |     type C;
  54    |           - expected 0 type parameters
  55 ...
  56 LL |     type C<T> = T;
  57    |            ^ found 1 type parameter
  58
  59 error: aborting due to 6 previous errors
  60
  61 Some errors have detailed explanations: E0049, E0195.
  62 For more information about an error, try `rustc --explain E0049`.