nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-01-08 13:55:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor documentation type fixes h/t @pierwill

Browse Source
This commit is contained in:
Santiago Pastorino 2022-03-18 14:13:06 -03:00
parent f3ebafac91
commit 91b52148eb
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/traits/coherence.rs
View File

@ -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;