diff options
| author | timesince <seekseat@icloud.com> | 2025-04-09 18:46:50 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-09 18:46:50 +0800 |
| commit | 069fd0258853a0511bfa202a7983abffbae16115 (patch) | |
| tree | e3b4a743b9acaf6adc027c66874f09e9eca79df5 /src | |
| parent | 97c966bb40756903f8aa13995629128d157f6056 (diff) | |
| download | rust-069fd0258853a0511bfa202a7983abffbae16115.tar.gz rust-069fd0258853a0511bfa202a7983abffbae16115.zip | |
Remove redundant words
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/opaque-types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/opaque-types.md b/src/doc/rustc-dev-guide/src/solve/opaque-types.md index 672aab77080..509c34a4d3a 100644 --- a/src/doc/rustc-dev-guide/src/solve/opaque-types.md +++ b/src/doc/rustc-dev-guide/src/solve/opaque-types.md @@ -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 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 interacting with the opaque types storage. We could instead add allow 'defining' all opaque types, |