We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9771fb0 commit 0c7672aCopy full SHA for 0c7672a
compiler/rustc_trait_selection/src/traits/normalize.rs
@@ -31,7 +31,7 @@ impl<'tcx> At<'_, 'tcx> {
31
32
/// Deeply normalizes `value`, replacing all aliases which can by normalized in
33
/// the current environment. In the new solver this errors in case normalization
34
- /// fails or is ambiguous. This only normalizes opaque types with `Reveal::All`.
+ /// fails or is ambiguous.
35
///
36
/// In the old solver this simply uses `normalizes` and adds the nested obligations
37
/// to the `fulfill_cx`. This is necessary as we otherwise end up recomputing the
0 commit comments