1
Fork 0

Update tests

This commit is contained in:
Seiichi Uchida 2018-06-09 17:37:07 +09:00
parent 699be41809
commit dc87d0d1fb
2 changed files with 6 additions and 6 deletions

View file

@ -10,7 +10,7 @@
trait Tr: ?Sized {} //~ ERROR `?Trait` is not permitted in supertraits
type A1 = Tr + ?Sized; //~ ERROR `?Trait` is not permitted in trait object types
type A2 = for<'a> Tr + ?Sized; //~ ERROR `?Trait` is not permitted in trait object types
type A1 = Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
type A2 = for<'a> Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
fn main() {}

View file

@ -9,14 +9,14 @@ LL | trait Tr: ?Sized {} //~ ERROR `?Trait` is not permitted in supertraits
error: `?Trait` is not permitted in trait object types
--> $DIR/maybe-bounds.rs:13:16
|
LL | type A1 = Tr + ?Sized; //~ ERROR `?Trait` is not permitted in trait object types
| ^^^^^^
LL | type A1 = Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
| ^^^^^^^^
error: `?Trait` is not permitted in trait object types
--> $DIR/maybe-bounds.rs:14:24
|
LL | type A2 = for<'a> Tr + ?Sized; //~ ERROR `?Trait` is not permitted in trait object types
| ^^^^^^
LL | type A2 = for<'a> Tr + (?Sized); //~ ERROR `?Trait` is not permitted in trait object types
| ^^^^^^^^
error: aborting due to 3 previous errors