rust/tests/ui/issues/issue-35570.stderr

error[E0277]: the trait bound `for<'a> (): Trait2<'a>` is not satisfied
  --> $DIR/issue-35570.rs:8:40
   |
LL | fn _ice(param: Box<dyn for <'a> Trait1<<() as Trait2<'a>>::Ty>>) {
   |                                        ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Trait2<'a>` is not implemented for `()`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
implied_bounds: clarify our assumptions 2022-08-17 10:22:32 +00:00			error[E0277]: the trait bound `for<'a> (): Trait2<'a>` is not satisfied
Normalize assumed_wf_types after wfchecking is complete, for better spans 2023-01-08 03:14:27 +00:00			`--> $DIR/issue-35570.rs:8:40`
Normalize associated types with bound vars 2021-05-03 13:25:32 +00:00			`\|`
			`LL \| fn _ice(param: Box<dyn for <'a> Trait1<<() as Trait2<'a>>::Ty>>) {`
Normalize assumed_wf_types after wfchecking is complete, for better spans 2023-01-08 03:14:27 +00:00			\| ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Trait2<'a>` is not implemented for `()`
Normalize associated types with bound vars 2021-05-03 13:25:32 +00:00
update tests 2023-06-27 21:13:50 +00:00			`error: aborting due to previous error`
Normalize associated types with bound vars 2021-05-03 13:25:32 +00:00
			For more information about this error, try `rustc --explain E0277`.