// Check that defaults for generic parameters in `for<...>` binders are
// syntactically valid. See also PR #119042.
//@ check-pass
macro_rules! a { ($ty:ty) => {} }
a! { for<T = &i32> fn() }
fn main() {}