fn f(#[attr1] pat: Type) {}