]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | error: `?Trait` bounds are only permitted at the point where a type parameter is declared |
0731742a | 2 | --> $DIR/maybe-bounds-where.rs:1:23 |
b7449926 XL |
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 | |
0731742a | 8 | --> $DIR/maybe-bounds-where.rs:4:23 |
b7449926 XL |
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 | |
0731742a | 14 | --> $DIR/maybe-bounds-where.rs:7:23 |
b7449926 XL |
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 | |
0731742a | 20 | --> $DIR/maybe-bounds-where.rs:12:31 |
b7449926 XL |
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 | |
0731742a | 26 | --> $DIR/maybe-bounds-where.rs:20:18 |
b7449926 XL |
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 | |
0731742a | 32 | --> $DIR/maybe-bounds-where.rs:15:11 |
b7449926 XL |
33 | | |
34 | LL | struct S5<T>(*const T) where T: ?Trait<'static> + ?Sized; | |
35 | | ^ | |
36 | ||
e74abb32 | 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 |
0731742a | 38 | --> $DIR/maybe-bounds-where.rs:15:11 |
b7449926 XL |
39 | | |
40 | LL | struct S5<T>(*const T) where T: ?Trait<'static> + ?Sized; | |
41 | | ^ | |
42 | ||
43 | error: aborting due to 6 previous errors | |
44 | ||
60c5eb7d | 45 | For more information about this error, try `rustc --explain E0203`. |