]> git.lizzy.rs Git - rust.git/blobdiff - compiler/rustc_infer/src/infer/canonical/canonicalizer.rs
fix most compiler/ doctests
[rust.git] / compiler / rustc_infer / src / infer / canonical / canonicalizer.rs
index 5e67c8cfa27c4a73cc0799ace0fed0efa64de974..07e51afd904418db8a86380f9f367bfe23a9947f 100644 (file)
@@ -87,9 +87,9 @@ pub fn canonicalize_query_preserving_universes<V>(
     ///
     /// with a mapping M that maps `'?0` to `'static`. But if we found that there
     /// exists only one possible impl of `Trait`, and it looks like
-    ///
-    ///     impl<T> Trait<'static> for T { .. }
-    ///
+    /// ```ignore (illustrative)
+    /// impl<T> Trait<'static> for T { .. }
+    /// ```
     /// then we would prepare a query result R that (among other
     /// things) includes a mapping to `'?0 := 'static`. When
     /// canonicalizing this query result R, we would leave this