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