{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.eq_types(a,"}]}
            self.eq_types(a, b, Locations::All(span), ConstraintCategory::BoringNoLocation)
        if let Err(_) =
        {