ices/95272.rs: fixed with errors

[github-actions]

Issue: rust-lang/rust#95272

#![feature(nll)]

use std::cell::Cell;

fn check<'a, 'b>(x: Cell<&'a ()>, y: Cell<&'b ()>)
where
    'a: 'b,
{
}

fn test<'a, 'b>(x: Cell<&'a ()>, y: Cell<&'b ()>) {
    let f = check;
    f(x, y);
}

fn main() {}

=== stdout ===
=== stderr ===
warning: unused variable: `x`
 --> /home/runner/work/glacier/glacier/ices/95272.rs:5:18
  |
5 | fn check<'a, 'b>(x: Cell<&'a ()>, y: Cell<&'b ()>)
  |                  ^ help: if this is intentional, prefix it with an underscore: `_x`
  |
  = note: `#[warn(unused_variables)]` on by default

warning: unused variable: `y`
 --> /home/runner/work/glacier/glacier/ices/95272.rs:5:35
  |
5 | fn check<'a, 'b>(x: Cell<&'a ()>, y: Cell<&'b ()>)
  |                                   ^ help: if this is intentional, prefix it with an underscore: `_y`

error: lifetime may not live long enough
  --> /home/runner/work/glacier/glacier/ices/95272.rs:12:13
   |
11 | fn test<'a, 'b>(x: Cell<&'a ()>, y: Cell<&'b ()>) {
   |         --  -- lifetime `'b` defined here
   |         |
   |         lifetime `'a` defined here
12 |     let f = check;
   |             ^^^^^ assignment requires that `'a` must outlive `'b`
   |
   = help: consider adding the following bound: `'a: 'b`
   = note: requirement occurs because of a function pointer to `check`
   = note: the function `check` is invariant over the parameter `'a`
   = help: see <https://doc.rust-lang.org/nomicon/subtyping.html> for more information about variance

error: aborting due to previous error; 2 warnings emitted

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