{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
) -> String {
    krate: Crate,
    struct DisplayWitness<'a, 'p>(&'a WitnessPat<'p>, &'a MatchCheckCtx<'p>, DisplayTarget);