{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"self.eq_types(const_ty,"}]}
            self.eq_types(const_ty, inferred_ty, Locations::All(span), ConstraintCategory::Boring)
        if let Err(terr) =
        {