fn main()
where
    for<'a, T: Sized + 'a, const C: usize> [&'a T; C]: Sized,
{
    let x = for<T> || {};

    let y: dyn for<T> Into<T>;

    let z: for<T> fn(T);
}