Rustc infer doctest

compiler/rustc_infer/Cargo.toml

@@ -4,7 +4,7 @@ version = "0.0.0"
 edition = "2021"
 
 [lib]
-doctest = false
+
 
 [dependencies]
 tracing = "0.1"

compiler/rustc_infer/src/infer/error_reporting/need_type_info.rs

@@ -32,7 +32,14 @@ pub enum TypeAnnotationNeeded {
     E0282,
     /// An implementation cannot be chosen unambiguously because of lack of information.
     /// ```compile_fail,E0283
-    /// let _ = Default::default();
+    /// struct Foo;
+    ///
+    /// impl Into<u32> for Foo {
+    ///    fn into(self) -> u32 { 1 }
+    /// }
+    ///
+    /// let foo = Foo;
+    /// let bar: u32 = foo.into() * 1u32;
     /// ```
     E0283,
     /// ```compile_fail,E0284

compiler/rustc_infer/src/infer/error_reporting/nice_region_error/different_lifetimes.rs

@@ -21,7 +21,7 @@ impl<'a, 'tcx> NiceRegionError<'a, 'tcx> {
     ///
     /// Consider a case where we have
     ///
-    /// ```compile_fail,E0623
+    /// ```compile_fail,(E0623)
     /// fn foo(x: &mut Vec<&u8>, y: &u8) {
     ///     x.push(y);
     /// }

compiler/rustc_infer/src/infer/error_reporting/nice_region_error/find_anon_type.rs

@@ -14,7 +14,7 @@ use rustc_middle::ty::{self, Region, TyCtxt};
 /// br - the bound region corresponding to the above region which is of type `BrAnon(_)`
 ///
 /// # Example
-/// ```compile_fail,E0623
+/// ```compile_fail,(E0623)
 /// fn foo(x: &mut Vec<&u8>, y: &u8)
 ///    { x.push(y); }
 /// ```

compiler/rustc_infer/src/infer/outlives/test_type_match.rs

@@ -13,9 +13,11 @@ use crate::infer::region_constraints::VerifyIfEq;
 
 /// Given a "verify-if-eq" type test like:
 ///
-///     exists<'a...> {
-///         verify_if_eq(some_type, bound_region)
-///     }
+/// ```ignore (pseudo-rust)
+/// exists<'a...> {
+///    verify_if_eq(some_type, bound_region)
+/// }
+/// ```
 ///
 /// and the type `test_ty` that the type test is being tested against,
 /// returns:

compiler/rustc_infer/src/infer/outlives/verify.rs

@@ -288,7 +288,7 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
     ///
     /// It will not, however, work for higher-ranked bounds like:
     ///
-    /// ```compile_fail,E0311
+    /// ```
     /// trait Foo<'a, 'b>
     /// where for<'x> <Self as Foo<'x, 'b>>::Bar: 'x
     /// {

compiler/rustc_infer/src/infer/region_constraints/mod.rs

@@ -240,7 +240,7 @@ pub enum VerifyBound<'tcx> {
 /// and supplies a bound if it ended up being relevant. It's used in situations
 /// like this:
 ///
-/// ```rust
+/// ```ignore (pseudo-rust)
 /// fn foo<'a, 'b, T: SomeTrait<'a>>
 /// where
 ///    <T as SomeTrait<'a>>::Item: 'b
@@ -255,7 +255,7 @@ pub enum VerifyBound<'tcx> {
 /// In the [`VerifyBound`], this struct is enclosed in `Binder to account
 /// for cases like
 ///
-/// ```rust
+/// ```ignore (pseudo-rust)
 /// where for<'a> <T as SomeTrait<'a>::Item: 'a
 /// ```
 ///