{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":")"}]}
) -> Result<Vec<WitnessPat<'p, 'tcx>>, ErrorGuaranteed> {
    column: &PatternColumn<'p, RustcPatCtxt<'p, 'tcx>>,
    let Some(&ty) = column.head_ty() else {