2019-05-19 16:26:42 -05:00
|
|
|
error: `?Trait` is not permitted in trait object types
|
2020-02-02 00:05:53 -06:00
|
|
|
--> $DIR/wf-trait-object-maybe-bound.rs:5:15
|
2019-05-19 16:26:42 -05:00
|
|
|
|
|
|
|
|
LL | type _0 = dyn ?Sized + Foo;
|
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: `?Trait` is not permitted in trait object types
|
2020-02-02 00:05:53 -06:00
|
|
|
--> $DIR/wf-trait-object-maybe-bound.rs:8:21
|
2019-05-19 16:26:42 -05:00
|
|
|
|
|
|
|
|
LL | type _1 = dyn Foo + ?Sized;
|
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: `?Trait` is not permitted in trait object types
|
2020-02-02 00:05:53 -06:00
|
|
|
--> $DIR/wf-trait-object-maybe-bound.rs:11:21
|
2019-05-19 16:26:42 -05:00
|
|
|
|
|
|
|
|
LL | type _2 = dyn Foo + ?Sized + ?Sized;
|
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: `?Trait` is not permitted in trait object types
|
2020-02-02 00:05:53 -06:00
|
|
|
--> $DIR/wf-trait-object-maybe-bound.rs:11:30
|
2019-05-19 16:26:42 -05:00
|
|
|
|
|
|
|
|
LL | type _2 = dyn Foo + ?Sized + ?Sized;
|
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: `?Trait` is not permitted in trait object types
|
2020-02-02 00:05:53 -06:00
|
|
|
--> $DIR/wf-trait-object-maybe-bound.rs:15:15
|
2019-05-19 16:26:42 -05:00
|
|
|
|
|
|
|
|
LL | type _3 = dyn ?Sized + Foo;
|
|
|
|
| ^^^^^^
|
|
|
|
|
|
|
|
error: aborting due to 5 previous errors
|
|
|
|
|