src/test/ui/maybe-bounds-where.stderr

   1 error: `?Trait` bounds are only permitted at the point where a type parameter is declared
   2   --> $DIR/maybe-bounds-where.rs:1:23
   3    |
   4 LL | struct S1<T>(T) where (T): ?Sized;
   5    |                       ^^^
   6
   7 error: `?Trait` bounds are only permitted at the point where a type parameter is declared
   8   --> $DIR/maybe-bounds-where.rs:4:23
   9    |
  10 LL | struct S2<T>(T) where u8: ?Sized;
  11    |                       ^^
  12
  13 error: `?Trait` bounds are only permitted at the point where a type parameter is declared
  14   --> $DIR/maybe-bounds-where.rs:7:23
  15    |
  16 LL | struct S3<T>(T) where &'static T: ?Sized;
  17    |                       ^^^^^^^^^^
  18
  19 error: `?Trait` bounds are only permitted at the point where a type parameter is declared
  20   --> $DIR/maybe-bounds-where.rs:12:31
  21    |
  22 LL | struct S4<T>(T) where for<'a> T: ?Trait<'a>;
  23    |                               ^
  24
  25 error: `?Trait` bounds are only permitted at the point where a type parameter is declared
  26   --> $DIR/maybe-bounds-where.rs:20:18
  27    |
  28 LL |     fn f() where T: ?Sized {}
  29    |                  ^
  30
  31 error[E0203]: type parameter has more than one relaxed default bound, only one is supported
  32   --> $DIR/maybe-bounds-where.rs:15:11
  33    |
  34 LL | struct S5<T>(*const T) where T: ?Trait<'static> + ?Sized;
  35    |           ^
  36
  37 warning: default bound relaxed for a type parameter, but this does nothing because the given bound is not a default; only `?Sized` is supported
  38   --> $DIR/maybe-bounds-where.rs:15:11
  39    |
  40 LL | struct S5<T>(*const T) where T: ?Trait<'static> + ?Sized;
  41    |           ^
  42
  43 error: aborting due to 6 previous errors
  44