src/test/ui/feature-gates/feature-gate-associated_type_bounds.stderr

   1 error[E0658]: associated type bounds are unstable
   2   --> $DIR/feature-gate-associated_type_bounds.rs:15:22
   3    |
   4 LL |     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
  10 error[E0658]: associated type bounds are unstable
  11   --> $DIR/feature-gate-associated_type_bounds.rs:19:22
  12    |
  13 LL |     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
  19 error[E0658]: associated type bounds are unstable
  20   --> $DIR/feature-gate-associated_type_bounds.rs:23:20
  21    |
  22 LL | 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
  28 error[E0658]: associated type bounds are unstable
  29   --> $DIR/feature-gate-associated_type_bounds.rs:30:18
  30    |
  31 LL | 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
  37 error[E0658]: associated type bounds are unstable
  38   --> $DIR/feature-gate-associated_type_bounds.rs:37:19
  39    |
  40 LL | 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
  46 error[E0658]: associated type bounds are unstable
  47   --> $DIR/feature-gate-associated_type_bounds.rs:44:37
  48    |
  49 LL | 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
  55 error[E0658]: associated type bounds are unstable
  56   --> $DIR/feature-gate-associated_type_bounds.rs:47:22
  57    |
  58 LL | 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
  64 error[E0658]: associated type bounds are unstable
  65   --> $DIR/feature-gate-associated_type_bounds.rs:49:26
  66    |
  67 LL | 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
  73 error[E0658]: associated type bounds are unstable
  74   --> $DIR/feature-gate-associated_type_bounds.rs:52:24
  75    |
  76 LL | 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
  82 error[E0658]: associated type bounds are unstable
  83   --> $DIR/feature-gate-associated_type_bounds.rs:55:31
  84    |
  85 LL | 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
  91 error[E0658]: associated type bounds are unstable
  92   --> $DIR/feature-gate-associated_type_bounds.rs:58:23
  93    |
  94 LL | 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
 100 error[E0658]: associated type bounds are unstable
 101   --> $DIR/feature-gate-associated_type_bounds.rs:64:24
 102    |
 103 LL | 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
 109 error[E0658]: associated type bounds are unstable
 110   --> $DIR/feature-gate-associated_type_bounds.rs:71:21
 111    |
 112 LL |     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
 118 error[E0562]: `impl Trait` not allowed outside of function and method return types
 119   --> $DIR/feature-gate-associated_type_bounds.rs:58:14
 120    |
 121 LL | const _cdef: impl Tr1<As1: Copy> = S1;
 122    |              ^^^^^^^^^^^^^^^^^^^
 123
 124 error[E0562]: `impl Trait` not allowed outside of function and method return types
 125   --> $DIR/feature-gate-associated_type_bounds.rs:64:15
 126    |
 127 LL | static _sdef: impl Tr1<As1: Copy> = S1;
 128    |               ^^^^^^^^^^^^^^^^^^^
 129
 130 error[E0562]: `impl Trait` not allowed outside of function and method return types
 131   --> $DIR/feature-gate-associated_type_bounds.rs:71:12
 132    |
 133 LL |     let _: impl Tr1<As1: Copy> = S1;
 134    |            ^^^^^^^^^^^^^^^^^^^
 135
 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
 138    |
 139 LL |     type A: Iterator<Item: Copy>;
 140    |                            ^^^^ the trait `Copy` is not implemented for `<<Self as _Tr3>::A as Iterator>::Item`
 141    |
 142   ::: $SRC_DIR/core/src/marker.rs:LL:COL
 143    |
 144 LL | pub trait Copy: Clone {
 145    | --------------------- required by this bound in `Copy`
 146    |
 147 help: consider further restricting the associated type
 148    |
 149 LL | trait _Tr3 where <<Self as _Tr3>::A as Iterator>::Item: Copy {
 150    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 151
 152 error: aborting due to 17 previous errors
 153
 154 Some errors have detailed explanations: E0277, E0562, E0658.
 155 For more information about an error, try `rustc --explain E0277`.