1 error[E0276]: impl has stricter requirements than trait
2 --> $DIR/issue-55872-1.rs:12:5
4 LL | fn foo<T>() -> Self::E;
5 | ----------------------- definition of `foo` from trait
7 LL | fn foo<T: Default>() -> Self::E {
8 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `T: Default`
10 error[E0277]: the trait bound `S: Copy` is not satisfied in `(S, T)`
11 --> $DIR/issue-55872-1.rs:12:29
13 LL | fn foo<T: Default>() -> Self::E {
14 | ^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `S`
16 = note: required because it appears within the type `(S, T)`
17 help: consider further restricting this bound
19 LL | impl<S: Default + std::marker::Copy> Bar for S {
22 error[E0277]: the trait bound `T: Copy` is not satisfied in `(S, T)`
23 --> $DIR/issue-55872-1.rs:12:29
25 LL | fn foo<T: Default>() -> Self::E {
26 | ^^^^^^^ within `(S, T)`, the trait `Copy` is not implemented for `T`
28 = note: required because it appears within the type `(S, T)`
29 help: consider further restricting this bound
31 LL | fn foo<T: Default + std::marker::Copy>() -> Self::E {
34 error: type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias
35 --> $DIR/issue-55872-1.rs:12:37
37 LL | fn foo<T: Default>() -> Self::E {
38 | _____________________________________^
43 LL | | (S::default(), T::default())
47 error: aborting due to 4 previous errors
49 Some errors have detailed explanations: E0276, E0277.
50 For more information about an error, try `rustc --explain E0276`.