1error[E0658]: associated type bounds are unstable
2  --> $DIR/feature-gate-associated_type_bounds.rs:15:22
3   |
4LL |     type A: Iterator<Item: Copy>;
5   |                      ^^^^^^^^^^
6   |
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
9
10error[E0658]: associated type bounds are unstable
11  --> $DIR/feature-gate-associated_type_bounds.rs:19:22
12   |
13LL |     type B: Iterator<Item: 'static>;
14   |                      ^^^^^^^^^^^^^
15   |
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
18
19error[E0658]: associated type bounds are unstable
20  --> $DIR/feature-gate-associated_type_bounds.rs:23:20
21   |
22LL | struct _St1<T: Tr1<As1: Tr2>> {
23   |                    ^^^^^^^^
24   |
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
27
28error[E0658]: associated type bounds are unstable
29  --> $DIR/feature-gate-associated_type_bounds.rs:30:18
30   |
31LL | enum _En1<T: Tr1<As1: Tr2>> {
32   |                  ^^^^^^^^
33   |
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
36
37error[E0658]: associated type bounds are unstable
38  --> $DIR/feature-gate-associated_type_bounds.rs:37:19
39   |
40LL | union _Un1<T: Tr1<As1: Tr2>> {
41   |                   ^^^^^^^^
42   |
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
45
46error[E0658]: associated type bounds are unstable
47  --> $DIR/feature-gate-associated_type_bounds.rs:44:37
48   |
49LL | type _TaWhere1<T> where T: Iterator<Item: Copy> = T;
50   |                                     ^^^^^^^^^^
51   |
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
54
55error[E0658]: associated type bounds are unstable
56  --> $DIR/feature-gate-associated_type_bounds.rs:47:22
57   |
58LL | fn _apit(_: impl Tr1<As1: Copy>) {}
59   |                      ^^^^^^^^^
60   |
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
63
64error[E0658]: associated type bounds are unstable
65  --> $DIR/feature-gate-associated_type_bounds.rs:49:26
66   |
67LL | fn _apit_dyn(_: &dyn Tr1<As1: Copy>) {}
68   |                          ^^^^^^^^^
69   |
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
72
73error[E0658]: associated type bounds are unstable
74  --> $DIR/feature-gate-associated_type_bounds.rs:52:24
75   |
76LL | fn _rpit() -> impl Tr1<As1: Copy> { S1 }
77   |                        ^^^^^^^^^
78   |
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
81
82error[E0658]: associated type bounds are unstable
83  --> $DIR/feature-gate-associated_type_bounds.rs:55:31
84   |
85LL | fn _rpit_dyn() -> Box<dyn Tr1<As1: Copy>> { Box::new(S1) }
86   |                               ^^^^^^^^^
87   |
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
90
91error[E0658]: associated type bounds are unstable
92  --> $DIR/feature-gate-associated_type_bounds.rs:58:23
93   |
94LL | const _cdef: impl Tr1<As1: Copy> = S1;
95   |                       ^^^^^^^^^
96   |
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
99
100error[E0658]: associated type bounds are unstable
101  --> $DIR/feature-gate-associated_type_bounds.rs:64:24
102   |
103LL | static _sdef: impl Tr1<As1: Copy> = S1;
104   |                        ^^^^^^^^^
105   |
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
108
109error[E0658]: associated type bounds are unstable
110  --> $DIR/feature-gate-associated_type_bounds.rs:71:21
111   |
112LL |     let _: impl Tr1<As1: Copy> = S1;
113   |                     ^^^^^^^^^
114   |
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
117
118error[E0562]: `impl Trait` not allowed outside of function and method return types
119  --> $DIR/feature-gate-associated_type_bounds.rs:58:14
120   |
121LL | const _cdef: impl Tr1<As1: Copy> = S1;
122   |              ^^^^^^^^^^^^^^^^^^^
123
124error[E0562]: `impl Trait` not allowed outside of function and method return types
125  --> $DIR/feature-gate-associated_type_bounds.rs:64:15
126   |
127LL | static _sdef: impl Tr1<As1: Copy> = S1;
128   |               ^^^^^^^^^^^^^^^^^^^
129
130error[E0562]: `impl Trait` not allowed outside of function and method return types
131  --> $DIR/feature-gate-associated_type_bounds.rs:71:12
132   |
133LL |     let _: impl Tr1<As1: Copy> = S1;
134   |            ^^^^^^^^^^^^^^^^^^^
135
136error[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
138   |
139LL |     type A: Iterator<Item: Copy>;
140   |                            ^^^^ the trait `Copy` is not implemented for `<<Self as _Tr3>::A as Iterator>::Item`
141   |
142help: consider further restricting the associated type
143   |
144LL | trait _Tr3 where <<Self as _Tr3>::A as Iterator>::Item: Copy {
145   |            +++++++++++++++++++++++++++++++++++++++++++++++++
146
147error: aborting due to 17 previous errors
148
149Some errors have detailed explanations: E0277, E0562, E0658.
150For more information about an error, try `rustc --explain E0277`.
151