We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 687a68d commit ea2ac34Copy full SHA for ea2ac34
compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -769,8 +769,8 @@ pub struct UncoveredTyParams<'tcx, T> {
769
/// add "non-blanket" impls without breaking negative reasoning in dependent
770
/// crates. This is the "rebalancing coherence" (RFC 1023) restriction.
771
///
772
-/// For that, we only a allow crate to perform negative reasoning on
773
-/// non-local-non-`#[fundamental]` only if there's a local key parameter as per (2).
+/// For that, we only allow a crate to perform negative reasoning on
+/// non-local-non-`#[fundamental]` if there's a local key parameter as per (2).
774
775
/// Because we never perform negative reasoning generically (coherence does
776
/// not involve type parameters), this can be interpreted as doing the full
0 commit comments