ices/90177.rs: fixed with no errors

[github-actions]

Issue: rust-lang/rust#90177

trait Base<'f> {
    type Assoc;

    fn do_something(&self);
}

trait ForAnyLifetime: for<'f> Base<'f> {}

impl<T> ForAnyLifetime for T where T: for<'f> Base<'f> {}

trait CanBeDynamic: ForAnyLifetime + for<'f> Base<'f, Assoc = ()> {}

fn foo(a: &dyn CanBeDynamic) {
    a.do_something();
}

fn main() {}

=== stdout ===
=== stderr ===
warning: function is never used: `foo`
  --> /home/runner/work/glacier/glacier/ices/90177.rs:13:4
   |
13 | fn foo(a: &dyn CanBeDynamic) {
   |    ^^^
   |
   = note: `#[warn(dead_code)]` on by default

warning: 1 warning emitted

==============