We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3944be5 commit 0b8770cCopy full SHA for 0b8770c
compiler/rustc_trait_selection/src/traits/normalize.rs
@@ -21,7 +21,7 @@ pub trait NormalizeExt<'tcx> {
21
22
/// Deeply normalizes `value`, replacing all aliases which can by normalized in
23
/// the current environment. In the new solver this errors in case normalization
24
- /// fails or is ambiguous. This only normalizes opaque types with `Reveal::All`.
+ /// fails or is ambiguous.
25
///
26
/// In the old solver this simply uses `normalizes` and adds the nested obligations
27
/// to the `fulfill_cx`. This is necessary as we otherwise end up recomputing the
0 commit comments