ices/83017.rs: fixed with errors (#724)

=== stdout ===
=== stderr ===
error[E0277]: the trait bound `for<'a, 'b> <Z as TraitA<'a>>::AsA: TraitB<'a, 'b>` is not satisfied
  --> /home/runner/work/glacier/glacier/ices/83017.rs:13:5
   |
11 | fn foo<T>() where for<'a> T: TraitA<'a, AsA: for<'b> TraitB<'a, 'b, AsB: for<'c> TraitC<'a, 'b, 'c>>> {}
   |                                              ------------------------------------------------------- required by this bound in `foo`
12 | fn main() {
13 |     foo::<Z>();
   |     ^^^^^^^^ the trait `for<'a, 'b> TraitB<'a, 'b>` is not implemented for `<Z as TraitA<'a>>::AsA`

error[E0277]: the trait bound `for<'a, 'b, 'c> <<Z as TraitA<'a>>::AsA as TraitB<'a, 'b>>::AsB: TraitC<'a, 'b, 'c>` is not satisfied
  --> /home/runner/work/glacier/glacier/ices/83017.rs:13:5
   |
11 | fn foo<T>() where for<'a> T: TraitA<'a, AsA: for<'b> TraitB<'a, 'b, AsB: for<'c> TraitC<'a, 'b, 'c>>> {}
   |                                                                          -------------------------- required by this bound in `foo`
12 | fn main() {
13 |     foo::<Z>();
   |     ^^^^^^^^ the trait `for<'a, 'b, 'c> TraitC<'a, 'b, 'c>` is not implemented for `<<Z as TraitA<'a>>::AsA as TraitB<'a, 'b>>::AsB`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.
==============

Co-authored-by: rustbot <[email protected]>

Author: github-actions[bot]