{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"TrueError,"}]}
    TrueError,
    /// A real error. This goal definitely does not hold.
    /// An ambiguity. This goal may hold if further inference is done.