src/test/ui/trait-alias-fail.stderr

   1 error: type parameters on the left side of a trait alias cannot be bounded
   2   --> $DIR/trait-alias-fail.rs:15:14
   3    |
   4 LL | trait Alias2<T: Clone = ()> = Default;
   5    |              ^
   6
   7 error: type parameters on the left side of a trait alias cannot have defaults
   8   --> $DIR/trait-alias-fail.rs:15:14
   9    |
  10 LL | trait Alias2<T: Clone = ()> = Default;
  11    |              ^
  12
  13 error[E0573]: expected type, found trait alias `Alias1`
  14   --> $DIR/trait-alias-fail.rs:20:6
  15    |
  16 LL | impl Alias1 { //~ERROR expected type, found trait alias
  17    |      ^^^^^^ not a type
  18
  19 error[E0404]: expected trait, found trait alias `Alias1`
  20   --> $DIR/trait-alias-fail.rs:23:6
  21    |
  22 LL | impl Alias1 for () { //~ERROR expected trait, found trait alias
  23    |      ^^^^^^ not a trait
  24
  25 error[E0658]: trait aliases are not yet fully implemented (see issue #41517)
  26   --> $DIR/trait-alias-fail.rs:13:1
  27    |
  28 LL | trait Alias1<T> = Default where T: Clone; // ok
  29    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  30    |
  31    = help: add #![feature(trait_alias)] to the crate attributes to enable
  32
  33 error[E0658]: trait aliases are not yet fully implemented (see issue #41517)
  34   --> $DIR/trait-alias-fail.rs:15:1
  35    |
  36 LL | trait Alias2<T: Clone = ()> = Default;
  37    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  38    |
  39    = help: add #![feature(trait_alias)] to the crate attributes to enable
  40
  41 error: aborting due to 6 previous errors
  42
  43 Some errors occurred: E0404, E0573, E0658.
  44 For more information about an error, try `rustc --explain E0404`.