{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"Pat(P<Ty>,"}]}
    Pat(P<Ty>, P<TyPat>),
    /// just as part of the type system.
    /// Sometimes we need a dummy value when no error has occurred.