{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"#[allow(unused)]"}]}
        #[allow(unused)]
        let sub_tys = ::std::iter::repeat(&ty);
        let mut vec: Vec<IndexedPat<_>> = Vec::new();