diff options
Diffstat (limited to 'src/test/ui/type/type-alias-bounds.stderr')
| -rw-r--r-- | src/test/ui/type/type-alias-bounds.stderr | 121 |
1 files changed, 121 insertions, 0 deletions
diff --git a/src/test/ui/type/type-alias-bounds.stderr b/src/test/ui/type/type-alias-bounds.stderr new file mode 100644 index 000000000..92e573393 --- /dev/null +++ b/src/test/ui/type/type-alias-bounds.stderr @@ -0,0 +1,121 @@ +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:8:14 + | +LL | type SVec<T: Send + Send> = Vec<T>; + | ^^^^ ^^^^ + | + = note: `#[warn(type_alias_bounds)]` on by default +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type SVec<T: Send + Send> = Vec<T>; +LL + type SVec<T> = Vec<T>; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:10:21 + | +LL | type S2Vec<T> where T: Send = Vec<T>; + | ^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type S2Vec<T> where T: Send = Vec<T>; +LL + type S2Vec<T> = Vec<T>; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:12:19 + | +LL | type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>); + | ^^ ^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>); +LL + type VVec<'b, 'a> = (&'b u32, Vec<&'a i32>); + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:14:18 + | +LL | type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>); + | ^^ ^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>); +LL + type WVec<'b, T> = (&'b u32, Vec<T>); + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:16:25 + | +LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>); + | ^^^^^ ^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>); +LL + type W2Vec<'b, T> = (&'b u32, Vec<T>); + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:47:12 + | +LL | type T1<U: Bound> = U::Assoc; + | ^^^^^ + | +help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases + --> $DIR/type-alias-bounds.rs:47:21 + | +LL | type T1<U: Bound> = U::Assoc; + | ^^^^^^^^ +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type T1<U: Bound> = U::Assoc; +LL + type T1<U> = U::Assoc; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:48:18 + | +LL | type T2<U> where U: Bound = U::Assoc; + | ^^^^^^^^ + | +help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases + --> $DIR/type-alias-bounds.rs:48:29 + | +LL | type T2<U> where U: Bound = U::Assoc; + | ^^^^^^^^ +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type T2<U> where U: Bound = U::Assoc; +LL + type T2<U> = U::Assoc; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:56:12 + | +LL | type T5<U: Bound> = <U as Bound>::Assoc; + | ^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type T5<U: Bound> = <U as Bound>::Assoc; +LL + type T5<U> = <U as Bound>::Assoc; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias-bounds.rs:57:12 + | +LL | type T6<U: Bound> = ::std::vec::Vec<U>; + | ^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type T6<U: Bound> = ::std::vec::Vec<U>; +LL + type T6<U> = ::std::vec::Vec<U>; + | + +warning: 9 warnings emitted + |