{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"self.eq_types(ty,"}]}
                        self.eq_types(ty, promoted_ty, locations, ConstraintCategory::Boring)
                    if let Err(terr) =
                    {