mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

trait_selection: remove extra words

Browse Source
This commit is contained in:
许杰友 Jieyou Xu (Joe) 2024-06-15 15:50:00 +00:00
parent 687a68d679
commit ea2ac347f0
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

@ -769,8 +769,8 @@ pub struct UncoveredTyParams<'tcx, T> {
/// add "non-blanket" impls without breaking negative reasoning in dependent /// add "non-blanket" impls without breaking negative reasoning in dependent
/// crates. This is the "rebalancing coherence" (RFC 1023) restriction. /// crates. This is the "rebalancing coherence" (RFC 1023) restriction.
/// ///
/// For that, we only a allow crate to perform negative reasoning on /// For that, we only allow a crate to perform negative reasoning on
/// non-local-non-`#[fundamental]` only if there's a local key parameter as per (2). /// non-local-non-`#[fundamental]` if there's a local key parameter as per (2).
/// ///
/// Because we never perform negative reasoning generically (coherence does /// Because we never perform negative reasoning generically (coherence does
/// not involve type parameters), this can be interpreted as doing the full /// not involve type parameters), this can be interpreted as doing the full