{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                    || has_only_region_constraints(c.result)
                    if self.cx().impl_specializes(other_def_id, victim_def_id) {