diff options
| author | 许杰友 Jieyou Xu (Joe) <jieyouxu@outlook.com> | 2024-06-15 15:50:00 +0000 |
|---|---|---|
| committer | 许杰友 Jieyou Xu (Joe) <jieyouxu@outlook.com> | 2024-06-15 15:50:00 +0000 |
| commit | ea2ac347f0d45dd6d499cbd63213c1f3c4515d41 (patch) | |
| tree | 624c2f6714163c75b773ab92a7a3d5f3eb8098f3 | |
| parent | 687a68d67953eddd0a4bd415b8f7fee679e66595 (diff) | |
| download | rust-ea2ac347f0d45dd6d499cbd63213c1f3c4515d41.tar.gz rust-ea2ac347f0d45dd6d499cbd63213c1f3c4515d41.zip | |
trait_selection: remove extra words
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 4 |
1 files 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 fc5c71252e1..a4177d8a93f 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -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 |