>>> src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs

error[E0316]: nested quantification of lifetimes
  --> src/test/ui/associated-type-bounds/bounds-on-assoc-in-trait.rs:67:41
   |
67 |         for<'a> <_2 as Iterator>::Item: for<'b> Lam<&'a &'b u8, App = _0>,
   |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0316`.
>>> src/test/ui/associated-type-bounds/duplicate.rs

error: expected item, found `;`
   --> src/test/ui/associated-type-bounds/duplicate.rs:151:57
    |
151 | struct SDyn1 { f: dyn Iterator<Item: Copy, Item: Send> };
    |                                                         ^ help: remove this semicolon
    |
    = help: braced struct declarations are not followed by a semicolon

error: expected item, found `;`
   --> src/test/ui/associated-type-bounds/duplicate.rs:153:62
    |
153 | struct SDyn2 { f: Box<dyn Iterator<Item: Copy, Item: Copy>> };
    |                                                              ^ help: remove this semicolon
    |
    = help: braced struct declarations are not followed by a semicolon

error: expected item, found `;`
   --> src/test/ui/associated-type-bounds/duplicate.rs:155:63
    |
155 | struct SDyn3 { f: dyn Iterator<Item: 'static, Item: 'static> };
    |                                                               ^ help: remove this semicolon
    |
    = help: braced struct declarations are not followed by a semicolon

error[E0428]: the name `ETAI1` is defined multiple times
   --> src/test/ui/associated-type-bounds/duplicate.rs:107:1
    |
101 | existential type ETAI1<T: Iterator<Item: Copy, Item: Send>>: Copy;
    | ------------------------------------------------------------------ previous definition of the type `ETAI1` here
...
107 | existential type ETAI1: Iterator<Item: Copy, Item: Send>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ETAI1` redefined here
    |
    = note: `ETAI1` must be defined only once in the type namespace of this module

error[E0428]: the name `ETAI2` is defined multiple times
   --> src/test/ui/associated-type-bounds/duplicate.rs:109:1
    |
103 | existential type ETAI2<T: Iterator<Item: Copy, Item: Copy>>: Copy;
    | ------------------------------------------------------------------ previous definition of the type `ETAI2` here
...
109 | existential type ETAI2: Iterator<Item: Copy, Item: Copy>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ETAI2` redefined here
    |
    = note: `ETAI2` must be defined only once in the type namespace of this module

error[E0428]: the name `ETAI3` is defined multiple times
   --> src/test/ui/associated-type-bounds/duplicate.rs:111:1
    |
105 | existential type ETAI3<T: Iterator<Item: 'static, Item: 'static>>: Copy;
    | ------------------------------------------------------------------------ previous definition of the type `ETAI3` here
...
111 | existential type ETAI3: Iterator<Item: 'static, Item: 'static>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ETAI3` redefined here
    |
    = note: `ETAI3` must be defined only once in the type namespace of this module

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:101:1
    |
101 | existential type ETAI1<T: Iterator<Item: Copy, Item: Send>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:103:1
    |
103 | existential type ETAI2<T: Iterator<Item: Copy, Item: Copy>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:105:1
    |
105 | existential type ETAI3<T: Iterator<Item: 'static, Item: 'static>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:107:1
    |
107 | existential type ETAI1: Iterator<Item: Copy, Item: Send>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:109:1
    |
109 | existential type ETAI2: Iterator<Item: Copy, Item: Copy>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0658]: existential types are unstable (see issue #34511)
   --> src/test/ui/associated-type-bounds/duplicate.rs:111:1
    |
111 | existential type ETAI3: Iterator<Item: 'static, Item: 'static>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = help: add #![feature(existential_type)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:68:13
   |
68 | const CIT1: impl Iterator<Item: Copy, Item: Send> = ();
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:70:13
   |
70 | const CIT2: impl Iterator<Item: Copy, Item: Copy> = ();
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:72:13
   |
72 | const CIT3: impl Iterator<Item: 'static, Item: 'static> = ();
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:74:14
   |
74 | static SIT1: impl Iterator<Item: Copy, Item: Send> = ();
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:76:14
   |
76 | static SIT2: impl Iterator<Item: Copy, Item: Copy> = ();
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:78:14
   |
78 | static SIT3: impl Iterator<Item: 'static, Item: 'static> = ();
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:81:20
   |
81 | fn lit1() { let _: impl Iterator<Item: Copy, Item: Send> = (); }
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:83:20
   |
83 | fn lit2() { let _: impl Iterator<Item: Copy, Item: Copy> = (); }
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
  --> src/test/ui/associated-type-bounds/duplicate.rs:85:20
   |
85 | fn lit3() { let _: impl Iterator<Item: 'static, Item: 'static> = (); }
   |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(impl_trait_in_bindings)] to the crate attributes to enable

error[E0601]: `main` function not found in crate `duplicate`
  |
  = note: consider adding a `main` function to `src/test/ui/associated-type-bounds/duplicate.rs`

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:29:35
   |
29 | union UI1<T: Iterator<Item: Copy, Item: Send>> { f: T }
   |                       ----------  ^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:151:44
    |
151 | struct SDyn1 { f: dyn Iterator<Item: Copy, Item: Send> };
    |                                ----------  ^^^^^^^^^^ re-bound here
    |                                |
    |                                `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:151:19
    |
151 | struct SDyn1 { f: dyn Iterator<Item: Copy, Item: Send> };
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:153:48
    |
153 | struct SDyn2 { f: Box<dyn Iterator<Item: Copy, Item: Copy>> };
    |                                    ----------  ^^^^^^^^^^ re-bound here
    |                                    |
    |                                    `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:153:23
    |
153 | struct SDyn2 { f: Box<dyn Iterator<Item: Copy, Item: Copy>> };
    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:155:47
    |
155 | struct SDyn3 { f: dyn Iterator<Item: 'static, Item: 'static> };
    |                                -------------  ^^^^^^^^^^^^^ re-bound here
    |                                |
    |                                `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:155:19
    |
155 | struct SDyn3 { f: dyn Iterator<Item: 'static, Item: 'static> };
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:29:1
   |
29 | union UI1<T: Iterator<Item: Copy, Item: Send>> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:31:35
   |
31 | union UI2<T: Iterator<Item: Copy, Item: Copy>> { f: T }
   |                       ----------  ^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:31:1
   |
31 | union UI2<T: Iterator<Item: Copy, Item: Copy>> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:33:38
   |
33 | union UI3<T: Iterator<Item: 'static, Item: 'static>> { f: T }
   |                       -------------  ^^^^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:33:1
   |
33 | union UI3<T: Iterator<Item: 'static, Item: 'static>> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:35:44
   |
35 | union UW1<T> where T: Iterator<Item: Copy, Item: Send> { f: T }
   |                                ----------  ^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:35:1
   |
35 | union UW1<T> where T: Iterator<Item: Copy, Item: Send> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:37:44
   |
37 | union UW2<T> where T: Iterator<Item: Copy, Item: Copy> { f: T }
   |                                ----------  ^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:37:1
   |
37 | union UW2<T> where T: Iterator<Item: Copy, Item: Copy> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:39:47
   |
39 | union UW3<T> where T: Iterator<Item: 'static, Item: 'static> { f: T }
   |                                -------------  ^^^^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0658]: unions with non-`Copy` fields are unstable (see issue #32836)
  --> src/test/ui/associated-type-bounds/duplicate.rs:39:1
   |
39 | union UW3<T> where T: Iterator<Item: 'static, Item: 'static> { f: T }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = help: add #![feature(untagged_unions)] to the crate attributes to enable

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
 --> src/test/ui/associated-type-bounds/duplicate.rs:3:36
  |
3 | struct SI1<T: Iterator<Item: Copy, Item: Send>> { f: T }
  |                        ----------  ^^^^^^^^^^ re-bound here
  |                        |
  |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
 --> src/test/ui/associated-type-bounds/duplicate.rs:5:36
  |
5 | struct SI2<T: Iterator<Item: Copy, Item: Copy>> { f: T }
  |                        ----------  ^^^^^^^^^^ re-bound here
  |                        |
  |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
 --> src/test/ui/associated-type-bounds/duplicate.rs:7:39
  |
7 | struct SI3<T: Iterator<Item: 'static, Item: 'static>> { f: T }
  |                        -------------  ^^^^^^^^^^^^^ re-bound here
  |                        |
  |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
 --> src/test/ui/associated-type-bounds/duplicate.rs:9:45
  |
9 | struct SW1<T> where T: Iterator<Item: Copy, Item: Send> { f: T }
  |                                 ----------  ^^^^^^^^^^ re-bound here
  |                                 |
  |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:11:45
   |
11 | struct SW2<T> where T: Iterator<Item: Copy, Item: Copy> { f: T }
   |                                 ----------  ^^^^^^^^^^ re-bound here
   |                                 |
   |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:13:48
   |
13 | struct SW3<T> where T: Iterator<Item: 'static, Item: 'static> { f: T }
   |                                 -------------  ^^^^^^^^^^^^^ re-bound here
   |                                 |
   |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:16:34
   |
16 | enum EI1<T: Iterator<Item: Copy, Item: Send>> { V(T) }
   |                      ----------  ^^^^^^^^^^ re-bound here
   |                      |
   |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:18:34
   |
18 | enum EI2<T: Iterator<Item: Copy, Item: Copy>> { V(T) }
   |                      ----------  ^^^^^^^^^^ re-bound here
   |                      |
   |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:20:37
   |
20 | enum EI3<T: Iterator<Item: 'static, Item: 'static>> { V(T) }
   |                      -------------  ^^^^^^^^^^^^^ re-bound here
   |                      |
   |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:22:43
   |
22 | enum EW1<T> where T: Iterator<Item: Copy, Item: Send> { V(T) }
   |                               ----------  ^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:24:43
   |
24 | enum EW2<T> where T: Iterator<Item: Copy, Item: Copy> { V(T) }
   |                               ----------  ^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:26:46
   |
26 | enum EW3<T> where T: Iterator<Item: 'static, Item: 'static> { V(T) }
   |                               -------------  ^^^^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:42:32
   |
42 | fn FI1<T: Iterator<Item: Copy, Item: Send>>() {}
   |                    ----------  ^^^^^^^^^^ re-bound here
   |                    |
   |                    `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:44:32
   |
44 | fn FI2<T: Iterator<Item: Copy, Item: Copy>>() {}
   |                    ----------  ^^^^^^^^^^ re-bound here
   |                    |
   |                    `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:46:35
   |
46 | fn FI3<T: Iterator<Item: 'static, Item: 'static>>() {}
   |                    -------------  ^^^^^^^^^^^^^ re-bound here
   |                    |
   |                    `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:48:43
   |
48 | fn FW1<T>() where T: Iterator<Item: Copy, Item: Send> {}
   |                               ----------  ^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:50:43
   |
50 | fn FW2<T>() where T: Iterator<Item: Copy, Item: Copy> {}
   |                               ----------  ^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:52:46
   |
52 | fn FW3<T>() where T: Iterator<Item: 'static, Item: 'static> {}
   |                               -------------  ^^^^^^^^^^^^^ re-bound here
   |                               |
   |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:61:40
   |
61 | fn FAPIT1(_: impl Iterator<Item: Copy, Item: Send>) {}
   |                            ----------  ^^^^^^^^^^ re-bound here
   |                            |
   |                            `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:63:40
   |
63 | fn FAPIT2(_: impl Iterator<Item: Copy, Item: Copy>) {}
   |                            ----------  ^^^^^^^^^^ re-bound here
   |                            |
   |                            `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:65:43
   |
65 | fn FAPIT3(_: impl Iterator<Item: 'static, Item: 'static>) {}
   |                            -------------  ^^^^^^^^^^^^^ re-bound here
   |                            |
   |                            `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:88:35
   |
88 | type TAI1<T: Iterator<Item: Copy, Item: Send>> = T;
   |                       ----------  ^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:90:35
   |
90 | type TAI2<T: Iterator<Item: Copy, Item: Copy>> = T;
   |                       ----------  ^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:92:38
   |
92 | type TAI3<T: Iterator<Item: 'static, Item: 'static>> = T;
   |                       -------------  ^^^^^^^^^^^^^ re-bound here
   |                       |
   |                       `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:94:44
   |
94 | type TAW1<T> where T: Iterator<Item: Copy, Item: Send> = T;
   |                                ----------  ^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:96:44
   |
96 | type TAW2<T> where T: Iterator<Item: Copy, Item: Copy> = T;
   |                                ----------  ^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:98:47
   |
98 | type TAW3<T> where T: Iterator<Item: 'static, Item: 'static> = T;
   |                                -------------  ^^^^^^^^^^^^^ re-bound here
   |                                |
   |                                `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:55:42
   |
55 | fn FRPIT1() -> impl Iterator<Item: Copy, Item: Send> {}
   |                              ----------  ^^^^^^^^^^ re-bound here
   |                              |
   |                              `Item` bound here first

error[E0277]: `()` is not an iterator
  --> src/test/ui/associated-type-bounds/duplicate.rs:55:16
   |
55 | fn FRPIT1() -> impl Iterator<Item: Copy, Item: Send> {}
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
   |
   = help: the trait `std::iter::Iterator` is not implemented for `()`
   = note: the return type of a function must have a statically known size

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:57:42
   |
57 | fn FRPIT2() -> impl Iterator<Item: Copy, Item: Copy> {}
   |                              ----------  ^^^^^^^^^^ re-bound here
   |                              |
   |                              `Item` bound here first

error[E0277]: `()` is not an iterator
  --> src/test/ui/associated-type-bounds/duplicate.rs:57:16
   |
57 | fn FRPIT2() -> impl Iterator<Item: Copy, Item: Copy> {}
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
   |
   = help: the trait `std::iter::Iterator` is not implemented for `()`
   = note: the return type of a function must have a statically known size

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
  --> src/test/ui/associated-type-bounds/duplicate.rs:59:45
   |
59 | fn FRPIT3() -> impl Iterator<Item: 'static, Item: 'static> {}
   |                              -------------  ^^^^^^^^^^^^^ re-bound here
   |                              |
   |                              `Item` bound here first

error[E0277]: `()` is not an iterator
  --> src/test/ui/associated-type-bounds/duplicate.rs:59:16
   |
59 | fn FRPIT3() -> impl Iterator<Item: 'static, Item: 'static> {}
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `()` is not an iterator
   |
   = help: the trait `std::iter::Iterator` is not implemented for `()`
   = note: the return type of a function must have a statically known size

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:101:1
    |
101 | existential type ETAI1<T: Iterator<Item: Copy, Item: Send>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:101:48
    |
101 | existential type ETAI1<T: Iterator<Item: Copy, Item: Send>>: Copy;
    |                                    ----------  ^^^^^^^^^^ re-bound here
    |                                    |
    |                                    `Item` bound here first

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:103:1
    |
103 | existential type ETAI2<T: Iterator<Item: Copy, Item: Copy>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:103:48
    |
103 | existential type ETAI2<T: Iterator<Item: Copy, Item: Copy>>: Copy;
    |                                    ----------  ^^^^^^^^^^ re-bound here
    |                                    |
    |                                    `Item` bound here first

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:105:1
    |
105 | existential type ETAI3<T: Iterator<Item: 'static, Item: 'static>>: Copy;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:105:51
    |
105 | existential type ETAI3<T: Iterator<Item: 'static, Item: 'static>>: Copy;
    |                                    -------------  ^^^^^^^^^^^^^ re-bound here
    |                                    |
    |                                    `Item` bound here first

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:107:1
    |
107 | existential type ETAI1: Iterator<Item: Copy, Item: Send>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:107:46
    |
107 | existential type ETAI1: Iterator<Item: Copy, Item: Send>;
    |                                  ----------  ^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:109:1
    |
109 | existential type ETAI2: Iterator<Item: Copy, Item: Copy>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:109:46
    |
109 | existential type ETAI2: Iterator<Item: Copy, Item: Copy>;
    |                                  ----------  ^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error: could not find defining uses
   --> src/test/ui/associated-type-bounds/duplicate.rs:111:1
    |
111 | existential type ETAI3: Iterator<Item: 'static, Item: 'static>;
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:111:49
    |
111 | existential type ETAI3: Iterator<Item: 'static, Item: 'static>;
    |                                  -------------  ^^^^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:114:36
    |
114 | trait TRI1<T: Iterator<Item: Copy, Item: Send>> {}
    |                        ----------  ^^^^^^^^^^ re-bound here
    |                        |
    |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:116:36
    |
116 | trait TRI2<T: Iterator<Item: Copy, Item: Copy>> {}
    |                        ----------  ^^^^^^^^^^ re-bound here
    |                        |
    |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:118:39
    |
118 | trait TRI3<T: Iterator<Item: 'static, Item: 'static>> {}
    |                        -------------  ^^^^^^^^^^^^^ re-bound here
    |                        |
    |                        `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:120:34
    |
120 | trait TRS1: Iterator<Item: Copy, Item: Send> {}
    |                      ----------  ^^^^^^^^^^ re-bound here
    |                      |
    |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:122:34
    |
122 | trait TRS2: Iterator<Item: Copy, Item: Copy> {}
    |                      ----------  ^^^^^^^^^^ re-bound here
    |                      |
    |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:124:37
    |
124 | trait TRS3: Iterator<Item: 'static, Item: 'static> {}
    |                      -------------  ^^^^^^^^^^^^^ re-bound here
    |                      |
    |                      `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:126:45
    |
126 | trait TRW1<T> where T: Iterator<Item: Copy, Item: Send> {}
    |                                 ----------  ^^^^^^^^^^ re-bound here
    |                                 |
    |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:128:45
    |
128 | trait TRW2<T> where T: Iterator<Item: Copy, Item: Copy> {}
    |                                 ----------  ^^^^^^^^^^ re-bound here
    |                                 |
    |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:130:48
    |
130 | trait TRW3<T> where T: Iterator<Item: 'static, Item: 'static> {}
    |                                 -------------  ^^^^^^^^^^^^^ re-bound here
    |                                 |
    |                                 `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:132:46
    |
132 | trait TRSW1 where Self: Iterator<Item: Copy, Item: Send> {}
    |                                  ----------  ^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:134:46
    |
134 | trait TRSW2 where Self: Iterator<Item: Copy, Item: Copy> {}
    |                                  ----------  ^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:136:49
    |
136 | trait TRSW3 where Self: Iterator<Item: 'static, Item: 'static> {}
    |                                  -------------  ^^^^^^^^^^^^^ re-bound here
    |                                  |
    |                                  `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:138:43
    |
138 | trait TRA1 { type A: Iterator<Item: Copy, Item: Send>; }
    |                               ----------  ^^^^^^^^^^ re-bound here
    |                               |
    |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:140:43
    |
140 | trait TRA2 { type A: Iterator<Item: Copy, Item: Copy>; }
    |                               ----------  ^^^^^^^^^^ re-bound here
    |                               |
    |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:142:46
    |
142 | trait TRA3 { type A: Iterator<Item: 'static, Item: 'static>; }
    |                               -------------  ^^^^^^^^^^^^^ re-bound here
    |                               |
    |                               `Item` bound here first

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:145:40
    |
145 | type TADyn1 = dyn Iterator<Item: Copy, Item: Send>;
    |                            ----------  ^^^^^^^^^^ re-bound here
    |                            |
    |                            `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:145:15
    |
145 | type TADyn1 = dyn Iterator<Item: Copy, Item: Send>;
    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:147:44
    |
147 | type TADyn2 = Box<dyn Iterator<Item: Copy, Item: Copy>>;
    |                                ----------  ^^^^^^^^^^ re-bound here
    |                                |
    |                                `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:147:19
    |
147 | type TADyn2 = Box<dyn Iterator<Item: Copy, Item: Copy>>;
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error[E0719]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) is already specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:149:43
    |
149 | type TADyn3 = dyn Iterator<Item: 'static, Item: 'static>;
    |                            -------------  ^^^^^^^^^^^^^ re-bound here
    |                            |
    |                            `Item` bound here first

error[E0191]: the value of the associated type `Item` (from the trait `std::iter::Iterator`) must be specified
   --> src/test/ui/associated-type-bounds/duplicate.rs:149:15
    |
149 | type TADyn3 = dyn Iterator<Item: 'static, Item: 'static>;
    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Item` must be specified

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: could not find defining uses

error: aborting due to 118 previous errors

Some errors occurred: E0191, E0277, E0428, E0562, E0601, E0658, E0719.
For more information about an error, try `rustc --explain E0191`.
>>> src/test/ui/associated-type-bounds/dyn-existential-type.rs

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-existential-type.rs:19:16
   |
7  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
19 | type Et1 = Box<dyn Tr1<As1: Copy>>;
   |                ^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-existential-type.rs:23:16
   |
7  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
23 | type Et2 = Box<dyn Tr1<As1: 'static>>;
   |                ^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-existential-type.rs:27:16
   |
7  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
27 | type Et3 = Box<dyn Tr1<As1: Clone + Iterator<Item: Add<u8, Output: Into<u8>>>>>;
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-existential-type.rs:46:16
   |
7  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
46 | type Et4 = Box<dyn Tr1<As1: for<'a> Tr2<'a>>>;
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0191`.
>>> src/test/ui/associated-type-bounds/dyn-lcsit.rs

>>> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:18:16
   |
5  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
18 |     let x: Box<dyn Tr1<As1: Copy>> = Box::new(S1);
   |                ^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:19:5
   |
19 |     x
   |     ^ expected trait `Tr1<As1 = _>`, found trait `Tr1`
   |
   = note: expected type `std::boxed::Box<(dyn Tr1<As1 = _> + 'static)>`
              found type `std::boxed::Box<dyn Tr1>`

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:24:16
   |
5  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
24 |     let x: Box<dyn Tr1<As1: Send + 'static>> = Box::new(S1);
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:25:5
   |
25 |     x
   |     ^ expected trait `Tr1<As1 = _>`, found trait `Tr1`
   |
   = note: expected type `std::boxed::Box<(dyn Tr1<As1 = _> + 'static)>`
              found type `std::boxed::Box<dyn Tr1>`

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:35:16
   |
5  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
35 |     let x: Box<dyn Tr1<As1: Clone + Iterator<Item: Add<u8, Output: Into<u8>>>>> = Box::new(A);
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:36:5
   |
36 |     x
   |     ^ expected trait `Tr1<As1 = _>`, found trait `Tr1`
   |
   = note: expected type `std::boxed::Box<(dyn Tr1<As1 = _> + 'static)>`
              found type `std::boxed::Box<dyn Tr1>`

error[E0191]: the value of the associated type `As1` (from the trait `Tr1`) must be specified
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:58:16
   |
5  | trait Tr1 { type As1; fn mk(&self) -> Self::As1; }
   |             --------- `As1` defined here
...
58 |     let x: Box<dyn Tr1<As1: for<'a> Tr2<'a>>> = Box::new(A);
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `As1` must be specified

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/dyn-rpit-and-let.rs:59:5
   |
59 |     x
   |     ^ expected trait `Tr1<As1 = _>`, found trait `Tr1`
   |
   = note: expected type `std::boxed::Box<(dyn Tr1<As1 = _> + 'static)>`
              found type `std::boxed::Box<dyn Tr1>`

error: aborting due to 8 previous errors

Some errors occurred: E0191, E0308.
For more information about an error, try `rustc --explain E0191`.
>>> src/test/ui/associated-type-bounds/entails-sized-object-safety.rs

error[E0220]: associated type `As2` not found for `Tr2<'a>`
  --> src/test/ui/associated-type-bounds/entails-sized-object-safety.rs:21:70
   |
21 | trait ObjTr6 { fn foo() -> Self where Self: for<'a> Tr1<As1: Tr2<'a, As2: for<'b> Tr2<'b>>>; }
   |                                                                      ^^^^^^^^^^^^^^^^^^^^ associated type `As2` not found

error: aborting due to previous error

For more information about this error, try `rustc --explain E0220`.
>>> src/test/ui/associated-type-bounds/enum-bounds.rs

>>> src/test/ui/associated-type-bounds/existential-type.rs

>>> src/test/ui/associated-type-bounds/fn-apit.rs

warning: unused variable: `gamma`
  --> src/test/ui/associated-type-bounds/fn-apit.rs:48:9
   |
48 |     let gamma = beta.gamma();
   |         ^^^^^ help: consider prefixing with an underscore: `_gamma`
   |
   = note: #[warn(unused_variables)] on by default

warning: function is never used: `assert_forall_epsilon_zeta_satisfies_eta`
  --> src/test/ui/associated-type-bounds/fn-aux.rs:36:1
   |
36 | / pub fn assert_forall_epsilon_zeta_satisfies_eta<T>(x: T) -> usize
37 | | where
38 | |     T: for<'a> Epsilon<'a>,
39 | |     for<'a> <T as Epsilon<'a>>::Zeta: Eta,
40 | | {
41 | |     x.epsilon() + x.zeta().eta()
42 | | }
   | |_^
   |
   = note: #[warn(dead_code)] on by default

warning: function is never used: `desugared_bound_region_specific`
   --> src/test/ui/associated-type-bounds/fn-aux.rs:118:1
    |
118 | / pub fn desugared_bound_region_specific<'a, B>(gamma: &'a B::Gamma) -> usize
119 | | where
120 | |     B: Beta,
121 | |     B::Gamma: 'a + Epsilon<'a>,
122 | | {
123 | |     assert_epsilon_specific::<B::Gamma>(gamma)
124 | | }
    | |_^

warning: function is never used: `desugared_bound_region_forall2`
   --> src/test/ui/associated-type-bounds/fn-aux.rs:138:1
    |
138 | / pub fn desugared_bound_region_forall2<B>(beta: B) -> usize
139 | | where
140 | |     B: Beta,
141 | |     B::Gamma: Copy + for<'a> Epsilon<'a>,
...   |
145 | |     assert_forall_epsilon_zeta_satisfies_eta::<B::Gamma>(gamma)
146 | | }
    | |_^

warning: function is never used: `desugared_contraint_region_forall`
   --> src/test/ui/associated-type-bounds/fn-aux.rs:148:1
    |
148 | / pub fn desugared_contraint_region_forall<B>(beta: B) -> usize
149 | | where
150 | |     for<'a> &'a B: Beta,
151 | |     for<'a> <&'a B as Beta>::Gamma: Alpha,
...   |
155 | |     assert_alpha(g1) + assert_alpha(g2)
156 | | }
    | |_^

warning: function is never used: `desugared`
   --> src/test/ui/associated-type-bounds/fn-aux.rs:169:1
    |
169 | pub fn desugared() {
    | ^^^^^^^^^^^^^^^^^^

warning: function is never used: `main`
   --> src/test/ui/associated-type-bounds/fn-aux.rs:183:1
    |
183 | fn main() {
    | ^^^^^^^^^

warning: function is never used: `apit_bound_region_forall2`
  --> src/test/ui/associated-type-bounds/fn-apit.rs:28:1
   |
28 | / fn apit_bound_region_forall2(
29 | |     beta: impl Beta<Gamma: Copy + for<'a> Epsilon<'a, Zeta: Eta>>
30 | | ) -> usize {
31 | |     desugared_bound_region_forall2(beta)
32 | | }
   | |_^

>>> src/test/ui/associated-type-bounds/fn-aux.rs

>>> src/test/ui/associated-type-bounds/fn-dyn-apit.rs

error: ambiguous `+` in a type
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:19:12
   |
19 |     beta: &dyn Copy + Beta<Gamma: Alpha + 'static + Delta>
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use parentheses to disambiguate: `(dyn Copy + Beta<Gamma : Alpha + 'static + Delta>)`

error[E0191]: the value of the associated type `Gamma` (from the trait `fn_aux::Beta`) must be specified
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:10:26
   |
10 | fn dyn_apit_bound(beta: &dyn Beta<Gamma: Alpha>) -> usize {
   |                          ^^^^^^^^^^^^^^^^^^^^^^ associated type `Gamma` must be specified
   |
  ::: src/test/ui/associated-type-bounds/fn-aux.rs:10:5
   |
10 |     type Gamma;
   |     ----------- `Gamma` defined here

error[E0191]: the value of the associated type `Gamma` (from the trait `fn_aux::Beta`) must be specified
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:14:33
   |
14 | fn dyn_apit_bound_region(beta: &dyn Beta<Gamma: 'static>) -> usize {
   |                                 ^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Gamma` must be specified
   |
  ::: src/test/ui/associated-type-bounds/fn-aux.rs:10:5
   |
10 |     type Gamma;
   |     ----------- `Gamma` defined here

error[E0225]: only auto traits can be used as additional traits in a trait object
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:19:23
   |
19 |     beta: &dyn Copy + Beta<Gamma: Alpha + 'static + Delta>
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ non-auto additional trait

error[E0191]: the value of the associated type `Gamma` (from the trait `fn_aux::Beta`) must be specified
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:25:12
   |
25 |     beta: &dyn Beta<Gamma: Copy + for<'a> Epsilon<'a>>
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Gamma` must be specified
   |
  ::: src/test/ui/associated-type-bounds/fn-aux.rs:10:5
   |
10 |     type Gamma;
   |     ----------- `Gamma` defined here

error[E0191]: the value of the associated type `Gamma` (from the trait `fn_aux::Beta`) must be specified
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:31:12
   |
31 |     beta: &dyn Beta<Gamma: Copy + for<'a> Epsilon<'a, Zeta: Eta>>
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Gamma` must be specified
   |
  ::: src/test/ui/associated-type-bounds/fn-aux.rs:10:5
   |
10 |     type Gamma;
   |     ----------- `Gamma` defined here

error[E0191]: the value of the associated type `Gamma` (from the trait `fn_aux::Beta`) must be specified
  --> src/test/ui/associated-type-bounds/fn-dyn-apit.rs:37:12
   |
37 |     beta: &dyn Beta<Gamma: Copy + Alpha + Beta<Gamma: Delta>>
   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ associated type `Gamma` must be specified
   |
  ::: src/test/ui/associated-type-bounds/fn-aux.rs:10:5
   |
10 |     type Gamma;
   |     ----------- `Gamma` defined here

error: aborting due to 7 previous errors

Some errors occurred: E0191, E0225.
For more information about an error, try `rustc --explain E0191`.
>>> src/test/ui/associated-type-bounds/fn-inline.rs

error[E0601]: `main` function not found in crate `fn_inline`
  |
  = note: the main function must be defined at the crate level but you have one or more functions named 'main' that are not defined at the crate level. Either move the definition or attach the `#[main]` attribute to override this behavior.
note: here is a function named 'main'
 --> src/test/ui/associated-type-bounds/fn-aux.rs:183:1
  |
18| / fn main() {
18| |     desugared();
18| | }
  | |_^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0601`.
>>> src/test/ui/associated-type-bounds/fn-wheres.rs

error[E0284]: type annotations required: cannot resolve `<_ as fn_aux::Beta>::Gamma == _`
  --> src/test/ui/associated-type-bounds/fn-wheres.rs:35:5
   |
35 |     desugared_bound_region_specific(gamma)
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0284`.
>>> src/test/ui/associated-type-bounds/fn-wrap-apit.rs

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:54:36
   |
54 |     assert_eq!(42, wrap_apit_bound(beta));
   |                                    ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:55:43
   |
55 |     assert_eq!(24, wrap_apit_bound_region(beta));
   |                                           ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:56:54
   |
56 |     assert_eq!(42 + 24 + 1337, wrap_apit_bound_multi(beta));
   |                                                      ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:57:56
   |
57 |     assert_eq!(7331 * 2, wrap_apit_bound_region_forall(beta));
   |                                                        ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:58:50
   |
58 |     assert_eq!(42 + 1337, wrap_apit_bound_nested(beta));
   |                                                  ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error[E0308]: mismatched types
  --> src/test/ui/associated-type-bounds/fn-wrap-apit.rs:59:51
   |
59 |     assert_eq!(42 + 1337, wrap_apit_bound_nested2(beta));
   |                                                   ^^^^ expected struct `Wrap`, found struct `fn_aux::BetaType`
   |
   = note: expected type `Wrap<_>`
              found type `fn_aux::BetaType`

error: aborting due to 6 previous errors

For more information about this error, try `rustc --explain E0308`.
>>> src/test/ui/associated-type-bounds/implied-region-constraints.rs

error[E0601]: `main` function not found in crate `implied_region_constraints`
  |
  = note: consider adding a `main` function to `src/test/ui/associated-type-bounds/implied-region-constraints.rs`

error[E0623]: lifetime mismatch
  --> src/test/ui/associated-type-bounds/implied-region-constraints.rs:17:64
   |
11 | fn _bad_st<'a, 'b, T>(x: St<'a, 'b, T>)
   |                          -------------
   |                          |
   |                          this type is declared with multiple lifetimes...
...
17 |     let _failure_proves_not_implied_outlives_region_b: &'b T = &x.f0; // error[E0623]: lifetime mismatch
   |                                                                ^^^^^ ...but data with one lifetime flows into the other here

error[E0623]: lifetime mismatch
  --> src/test/ui/associated-type-bounds/implied-region-constraints.rs:37:72
   |
29 | fn _bad_en7<'a, 'b, T>(x: En7<'a, 'b, T>)
   |                           --------------
   |                           |
   |                           this type is declared with multiple lifetimes...
...
37 |             let _failure_proves_not_implied_outlives_region_b: &'b T = &x; // error[E0623]: lifetime mismatch
   |                                                                        ^^ ...but data with one lifetime flows into the other here

error: aborting due to 3 previous errors

Some errors occurred: E0601, E0623.
For more information about an error, try `rustc --explain E0601`.
>>> src/test/ui/associated-type-bounds/lcsit.rs

>>> src/test/ui/associated-type-bounds/rpit.rs

>>> src/test/ui/associated-type-bounds/struct-bounds.rs

warning: function is never used: `unwrap_2_st1`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:26:1
   |
26 | / fn unwrap_2_st1<T>(x: St1<T>) -> (T, T::As1, <T::As1 as Tr2>::As2)
27 | | where
28 | |     T: Tr1,
29 | |     T::As1: Tr2,
30 | | {
31 | |     unwrap_1_st1(x)
32 | | }
   | |_^
   |
   = note: #[warn(dead_code)] on by default

warning: field is never used: `outest`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:35:5
   |
35 |     outest: T,
   |     ^^^^^^^^^

warning: field is never used: `outer`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:36:5
   |
36 |     outer: T::As1,
   |     ^^^^^^^^^^^^^

warning: field is never used: `inner`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:37:5
   |
37 |     inner: <T::As1 as Tr2>::As2,
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^

warning: field is never used: `outest`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:41:5
   |
41 |     outest: T,
   |     ^^^^^^^^^

warning: field is never used: `outer`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:42:5
   |
42 |     outer: &'static T::As1,
   |     ^^^^^^^^^^^^^^^^^^^^^^

warning: struct is never constructed: `St5`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:50:1
   |
50 | struct St5<'x1, 'x2, T: Tr1<As1: for<'l> Tr4<'l, As4: Copy>>> {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

warning: struct is never constructed: `St7`
  --> src/test/ui/associated-type-bounds/struct-bounds.rs:65:1
   |
65 | / struct St7<'a, 'b, T> // `<T::As1 as Tr2>::As2: 'a` is implied.
66 | | where
67 | |     T: Tr1<As1: Tr2>,
68 | | {
69 | |     f0: &'a T,
70 | |     f1: &'b <T::As1 as Tr2>::As2,
71 | | }
   | |_^

>>> src/test/ui/associated-type-bounds/trait-params.rs

error[E0601]: `main` function not found in crate `trait_params`
  |
  = note: consider adding a `main` function to `src/test/ui/associated-type-bounds/trait-params.rs`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0601`.
>>> src/test/ui/associated-type-bounds/type-alias.rs

error: expected one of `(`, `+`, `,`, `::`, `<`, or `>`, found `type`
  --> src/test/ui/associated-type-bounds/type-alias.rs:13:1
   |
11 | type _TaWhere4<T> where T: Iterator<Item: 'static + Copy + S
   |                                                             - expected one of `(`, `+`, `,`, `::`, `<`, or `>` here
12 | // ~^ WARNING where clauses are not enforced in type aliasesend> = T;
13 | type _TaWhere5<T> where T: Iterator<Item: for<'a> Into<&'a u8>> = T;
   | ^^^^ unexpected token

error: aborting due to previous error

>>> src/test/ui/associated-type-bounds/union-bounds.rs