mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove redundant words

This commit is contained in:
timesince 2025-04-09 18:46:50 +08:00 committed by GitHub
parent cd593d4692
commit f34fa18b01
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/solve/opaque-types.md
View File

@ -33,7 +33,7 @@ For opaque types in the defining scope and in the implicit-negative coherence mo
always done in two steps. Outside of the defining scope `normalizes-to` for opaques always always done in two steps. Outside of the defining scope `normalizes-to` for opaques always
returns `Err(NoSolution)`. returns `Err(NoSolution)`.
We start by trying to to assign the expected type as a hidden type. We start by trying to assign the expected type as a hidden type.
In the implicit-negative coherence mode, this currently always results in ambiguity without In the implicit-negative coherence mode, this currently always results in ambiguity without
interacting with the opaque types storage. We could instead add allow 'defining' all opaque types, interacting with the opaque types storage. We could instead add allow 'defining' all opaque types,