{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"case:"}]}
        case: Case,
        vis: &Visibility,
    ) -> PResult<'a, (Ident, FnSig, Generics, Option<P<FnContract>>, Option<P<Block>>)> {