fn foo(x: T) where for<U> T<U>: std::fmt::Debug {
    panic!()
}

macro_rules! m {
    (for<$T:ident> $($ty:ty),* $(,)?) => {};
}

m!(for<T> Box<T>, Arc<T>, Rc<T>);