1 error[E0658]: associated type bounds are unstable
2 --> $DIR/feature-gate-associated_type_bounds.rs:15:22
4 LL | type A: Iterator<Item: Copy>;
7 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
8 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
10 error[E0658]: associated type bounds are unstable
11 --> $DIR/feature-gate-associated_type_bounds.rs:19:22
13 LL | type B: Iterator<Item: 'static>;
16 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
17 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
19 error[E0658]: associated type bounds are unstable
20 --> $DIR/feature-gate-associated_type_bounds.rs:23:20
22 LL | struct _St1<T: Tr1<As1: Tr2>> {
25 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
26 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
28 error[E0658]: associated type bounds are unstable
29 --> $DIR/feature-gate-associated_type_bounds.rs:30:18
31 LL | enum _En1<T: Tr1<As1: Tr2>> {
34 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
35 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
37 error[E0658]: associated type bounds are unstable
38 --> $DIR/feature-gate-associated_type_bounds.rs:37:19
40 LL | union _Un1<T: Tr1<As1: Tr2>> {
43 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
44 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
46 error[E0658]: associated type bounds are unstable
47 --> $DIR/feature-gate-associated_type_bounds.rs:44:37
49 LL | type _TaWhere1<T> where T: Iterator<Item: Copy> = T;
52 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
53 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
55 error[E0658]: associated type bounds are unstable
56 --> $DIR/feature-gate-associated_type_bounds.rs:47:22
58 LL | fn _apit(_: impl Tr1<As1: Copy>) {}
61 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
62 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
64 error[E0658]: associated type bounds are unstable
65 --> $DIR/feature-gate-associated_type_bounds.rs:49:26
67 LL | fn _apit_dyn(_: &dyn Tr1<As1: Copy>) {}
70 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
71 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
73 error[E0658]: associated type bounds are unstable
74 --> $DIR/feature-gate-associated_type_bounds.rs:52:24
76 LL | fn _rpit() -> impl Tr1<As1: Copy> { S1 }
79 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
80 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
82 error[E0658]: associated type bounds are unstable
83 --> $DIR/feature-gate-associated_type_bounds.rs:55:31
85 LL | fn _rpit_dyn() -> Box<dyn Tr1<As1: Copy>> { Box::new(S1) }
88 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
89 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
91 error[E0658]: associated type bounds are unstable
92 --> $DIR/feature-gate-associated_type_bounds.rs:58:23
94 LL | const _cdef: impl Tr1<As1: Copy> = S1;
97 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
98 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
100 error[E0658]: associated type bounds are unstable
101 --> $DIR/feature-gate-associated_type_bounds.rs:64:24
103 LL | static _sdef: impl Tr1<As1: Copy> = S1;
106 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
107 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
109 error[E0658]: associated type bounds are unstable
110 --> $DIR/feature-gate-associated_type_bounds.rs:71:21
112 LL | let _: impl Tr1<As1: Copy> = S1;
115 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
116 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
118 error[E0562]: `impl Trait` only allowed in function and inherent method return types, not in type
119 --> $DIR/feature-gate-associated_type_bounds.rs:58:14
121 LL | const _cdef: impl Tr1<As1: Copy> = S1;
122 | ^^^^^^^^^^^^^^^^^^^
124 error[E0562]: `impl Trait` only allowed in function and inherent method return types, not in type
125 --> $DIR/feature-gate-associated_type_bounds.rs:64:15
127 LL | static _sdef: impl Tr1<As1: Copy> = S1;
128 | ^^^^^^^^^^^^^^^^^^^
130 error[E0562]: `impl Trait` only allowed in function and inherent method return types, not in variable binding
131 --> $DIR/feature-gate-associated_type_bounds.rs:71:12
133 LL | let _: impl Tr1<As1: Copy> = S1;
134 | ^^^^^^^^^^^^^^^^^^^
136 error[E0277]: the trait bound `<<Self as _Tr3>::A as Iterator>::Item: Copy` is not satisfied
137 --> $DIR/feature-gate-associated_type_bounds.rs:15:28
139 LL | type A: Iterator<Item: Copy>;
140 | ^^^^ the trait `Copy` is not implemented for `<<Self as _Tr3>::A as Iterator>::Item`
142 help: consider further restricting the associated type
144 LL | trait _Tr3 where <<Self as _Tr3>::A as Iterator>::Item: Copy {
145 | +++++++++++++++++++++++++++++++++++++++++++++++++
147 error: aborting due to 17 previous errors
149 Some errors have detailed explanations: E0277, E0562, E0658.
150 For more information about an error, try `rustc --explain E0277`.