error: at least one trait must be specified
- --> $DIR/existential-types-with-no-traits.rs:3:1
+ --> $DIR/existential-types-with-no-traits.rs:3:23
|
LL | existential type Foo: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: at least one trait must be specified
--> $DIR/existential-types-with-no-traits.rs:10:13
error: at least one trait must be specified
- --> $DIR/generic_nondefining_use.rs:5:1
+ --> $DIR/generic_nondefining_use.rs:5:26
|
LL | existential type Cmp<T>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: defining existential type use does not fully define existential type
--> $DIR/generic_nondefining_use.rs:11:1
error: at least one trait must be specified
- --> $DIR/generic_not_used.rs:5:1
+ --> $DIR/generic_not_used.rs:5:44
|
LL | existential type WrongGeneric<T: 'static>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: type parameter `V` is part of concrete type but not used in parameter list for existential type
--> $DIR/generic_not_used.rs:8:73
error: at least one trait must be specified
- --> $DIR/generic_type_does_not_live_long_enough.rs:9:1
+ --> $DIR/generic_type_does_not_live_long_enough.rs:9:35
|
LL | existential type WrongGeneric<T>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error[E0308]: mismatched types
--> $DIR/generic_type_does_not_live_long_enough.rs:6:18
error: at least one trait must be specified
- --> $DIR/generic_underconstrained.rs:6:1
+ --> $DIR/generic_underconstrained.rs:6:46
|
LL | existential type Underconstrained<T: Trait>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error[E0277]: the trait bound `T: Trait` is not satisfied
--> $DIR/generic_underconstrained.rs:6:1
error: at least one trait must be specified
- --> $DIR/generic_underconstrained2.rs:5:1
+ --> $DIR/generic_underconstrained2.rs:5:56
|
LL | existential type Underconstrained<T: std::fmt::Debug>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: at least one trait must be specified
- --> $DIR/generic_underconstrained2.rs:14:1
+ --> $DIR/generic_underconstrained2.rs:14:57
|
LL | existential type Underconstrained2<T: std::fmt::Debug>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error[E0277]: `U` doesn't implement `std::fmt::Debug`
--> $DIR/generic_underconstrained2.rs:5:1
error: at least one trait must be specified
- --> $DIR/unused_generic_param.rs:6:1
+ --> $DIR/unused_generic_param.rs:6:39
|
LL | existential type PartiallyDefined<T>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: at least one trait must be specified
- --> $DIR/unused_generic_param.rs:13:1
+ --> $DIR/unused_generic_param.rs:13:40
|
LL | existential type PartiallyDefined2<T>: 'static;
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+ | ^^^^^^^
error: aborting due to 2 previous errors