Skip to content

Commit

Permalink
Rollup merge of #126525 - jieyouxu:traitsel-docs, r=compiler-errors
Browse files Browse the repository at this point in the history
trait_selection: remove extra words

Tiny doc cleanup.

Fixes #88231.
  • Loading branch information
GuillaumeGomez authored Jun 15, 2024
2 parents 38b3c9a + ea2ac34 commit b6311b3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions compiler/rustc_trait_selection/src/traits/coherence.rs
Original file line number Diff line number Diff line change
Expand Up @@ -769,8 +769,8 @@ pub struct UncoveredTyParams<'tcx, T> {
/// add "non-blanket" impls without breaking negative reasoning in dependent
/// crates. This is the "rebalancing coherence" (RFC 1023) restriction.
///
/// For that, we only a allow crate to perform negative reasoning on
/// 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).
///
/// Because we never perform negative reasoning generically (coherence does
/// not involve type parameters), this can be interpreted as doing the full
Expand Down

0 comments on commit b6311b3

Please sign in to comment.