]> git.lizzy.rs Git - rust.git/blobdiff - compiler/rustc_typeck/src/outlives/implicit_infer.rs
fix most compiler/ doctests
[rust.git] / compiler / rustc_typeck / src / outlives / implicit_infer.rs
index 6f842c6e71a5b5aaf399f55a6a240f90f3e40cb8..b2cf64393a402e66d993380de24e1d7be6f7f548 100644 (file)
@@ -211,15 +211,15 @@ fn insert_required_predicates_to_be_wf<'tcx>(
 
 /// We also have to check the explicit predicates
 /// declared on the type.
+/// ```ignore (illustrative)
+/// struct Foo<'a, T> {
+///     field1: Bar<T>
+/// }
 ///
-///     struct Foo<'a, T> {
-///         field1: Bar<T>
-///     }
-///
-///     struct Bar<U> where U: 'static, U: Foo {
-///         ...
-///     }
-///
+/// struct Bar<U> where U: 'static, U: Foo {
+///     ...
+/// }
+/// ```
 /// Here, we should fetch the explicit predicates, which
 /// will give us `U: 'static` and `U: Foo`. The latter we
 /// can ignore, but we will want to process `U: 'static`,