{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"Err(terr)"}]}
        Err(terr) => {
        Ok(()) => {}
            // This function gets called during `compare_method_predicate_entailment` when normalizing a