{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"write!(f,"}]}
            write!(f, "{}", pat.display(cx.db, display_target))
            let pat = cx.hoist_witness_pat(witness);
        }