ices/76168.rs: fixed with no errors

[github-actions]

Issue: rust-lang/rust#76168

trait Trait<Input> {
    type Output;
}

async fn walk<F: 'static>(filter: F)
where
    for<'a> F: Trait<&'a u32> + 'a,
    for<'a> <F as Trait<&'a u32>>::Output: 'a,
{
}

fn main() {}

=== stdout ===
=== stderr ===
warning: unused variable: `filter`
 --> /home/runner/work/glacier/glacier/ices/76168.rs:5:27
  |
5 | async fn walk<F: 'static>(filter: F)
  |                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_filter`
  |
  = note: `#[warn(unused_variables)]` on by default

warning: function is never used: `walk`
 --> /home/runner/work/glacier/glacier/ices/76168.rs:5:10
  |
5 | async fn walk<F: 'static>(filter: F)
  |          ^^^^
  |
  = note: `#[warn(dead_code)]` on by default

warning: 2 warnings emitted

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