From 91b52148ebc16f41632930344bdbe4e093f1970e Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Fri, 18 Mar 2022 14:13:06 -0300 Subject: [PATCH] Minor documentation type fixes h/t @pierwill --- compiler/rustc_trait_selection/src/traits/coherence.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index 5e97818a5268..8698384800c5 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -379,7 +379,7 @@ fn obligations_satisfiable<'cx, 'tcx, T: Debug + ToTrace<'tcx>>( } } -/// Try to prove that a negative impl exist for the given obligation and their super predicates. +/// Try to prove that a negative impl exist for the given obligation and its super predicates. #[instrument(level = "debug", skip(selcx))] fn negative_impl_exists<'cx, 'tcx>( selcx: &SelectionContext<'cx, 'tcx>, @@ -393,7 +393,7 @@ fn negative_impl_exists<'cx, 'tcx>( return true; } - // Try to prove a negative obligation exist for super predicates + // Try to prove a negative obligation exists for super predicates for o in util::elaborate_predicates(infcx.tcx, iter::once(o.predicate)) { if resolve_negative_obligation(infcx, param_env, region_context, &o) { return true;