diff options
Diffstat (limited to 'src/test/ui/associated-type-bounds/type-alias.stderr')
-rw-r--r-- | src/test/ui/associated-type-bounds/type-alias.stderr | 147 |
1 files changed, 147 insertions, 0 deletions
diff --git a/src/test/ui/associated-type-bounds/type-alias.stderr b/src/test/ui/associated-type-bounds/type-alias.stderr new file mode 100644 index 000000000..c22b80b88 --- /dev/null +++ b/src/test/ui/associated-type-bounds/type-alias.stderr @@ -0,0 +1,147 @@ +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:5:25 + | +LL | type _TaWhere1<T> where T: Iterator<Item: Copy> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^ + | + = note: `#[warn(type_alias_bounds)]` on by default +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere1<T> where T: Iterator<Item: Copy> = T; +LL + type _TaWhere1<T> = T; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:6:25 + | +LL | type _TaWhere2<T> where T: Iterator<Item: 'static> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere2<T> where T: Iterator<Item: 'static> = T; +LL + type _TaWhere2<T> = T; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:7:25 + | +LL | type _TaWhere3<T> where T: Iterator<Item: 'static> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere3<T> where T: Iterator<Item: 'static> = T; +LL + type _TaWhere3<T> = T; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:8:25 + | +LL | type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + Send> = T; +LL + type _TaWhere4<T> = T; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:9:25 + | +LL | type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T; +LL + type _TaWhere5<T> = T; + | + +warning: where clauses are not enforced in type aliases + --> $DIR/type-alias.rs:10:25 + | +LL | type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the clause will not be checked when the type alias is used, and should be removed + | +LL - type _TaWhere6<T> where T: Iterator<Item: Iterator<Item: Copy>> = T; +LL + type _TaWhere6<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:12:20 + | +LL | type _TaInline1<T: Iterator<Item: Copy>> = T; + | ^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline1<T: Iterator<Item: Copy>> = T; +LL + type _TaInline1<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:13:20 + | +LL | type _TaInline2<T: Iterator<Item: 'static>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline2<T: Iterator<Item: 'static>> = T; +LL + type _TaInline2<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:14:20 + | +LL | type _TaInline3<T: Iterator<Item: 'static>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline3<T: Iterator<Item: 'static>> = T; +LL + type _TaInline3<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:15:20 + | +LL | type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline4<T: Iterator<Item: 'static + Copy + Send>> = T; +LL + type _TaInline4<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:16:20 + | +LL | type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline5<T: Iterator<Item: for<'a> Into<&'a u8>>> = T; +LL + type _TaInline5<T> = T; + | + +warning: bounds on generic parameters are not enforced in type aliases + --> $DIR/type-alias.rs:17:20 + | +LL | type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T; + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: the bound will not be checked when the type alias is used, and should be removed + | +LL - type _TaInline6<T: Iterator<Item: Iterator<Item: Copy>>> = T; +LL + type _TaInline6<T> = T; + | + +warning: 12 warnings emitted + |