{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"Pattern"}]}
    Pattern {
    /// Type error arising from type checking a pattern against an expected type.
        /// The span of the scrutinee or type expression which caused the `root_ty` type.