diff options
| author | bors <bors@rust-lang.org> | 2025-04-09 21:35:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-04-09 21:35:22 +0000 |
| commit | 51548ce71fe80b5ca7aef00e6f1bf2491df98c79 (patch) | |
| tree | 29b433265de973052eb7b54582906227dad45705 /src/doc/rustc-dev-guide | |
| parent | 934880f586f6ac1f952c7090e2a943fcd7775e7b (diff) | |
| parent | 7aab307541051ea59bde1bb3f0375463c345b9aa (diff) | |
| download | rust-51548ce71fe80b5ca7aef00e6f1bf2491df98c79.tar.gz rust-51548ce71fe80b5ca7aef00e6f1bf2491df98c79.zip | |
Auto merge of #139595 - matthiaskrgr:rollup-kaa8aim, r=matthiaskrgr
Rollup of 10 pull requests Successful merges: - #138470 (Test interaction between RFC 2229 migration and use closures) - #138628 (Add more ergonomic clone tests) - #139164 (std: improve documentation for get_mut() methods regarding forgotten guards) - #139488 (Add missing regression GUI test) - #139489 (compiletest: Add directive `dont-require-annotations`) - #139513 (Report higher-ranked trait error when higher-ranked projection goal fails in new solver) - #139521 (triagebot: roll compiler reviewers for rustc/unstable book) - #139532 (Update `u8`-to-and-from-`i8` suggestions.) - #139551 (report call site of inlined scopes for large assignment lints) - #139575 (Remove redundant words) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -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, |