Ignore doctest for capture analysis examples

diff --git a/compiler/rustc_middle/src/ty/mod.rs b/compiler/rustc_middle/src/ty/mod.rs
index 0c786be0478de5f4ca651a4c13f2b8b57e444365..8f31c9b0fc653343ea7343045afba7a7c9ff0e16 100644 (file)
--- a/compiler/rustc_middle/src/ty/mod.rs
+++ b/compiler/rustc_middle/src/ty/mod.rs
@@ -797,12 +797,12 @@ pub struct CaptureInfo<'tcx> {
     /// None. In such case we fallback on uvpars_mentioned for span.
     ///
     /// Eg:
-    /// ```rust
-    /// let x = ...;
+    /// ```rust,no_run
+    /// let x = 5;
     ///
     /// let c = || {
     ///     let _ = x
-    /// }
+    /// };
     /// ```
     ///
     /// In this example, if `capture_disjoint_fields` is **not** set, then x will be captured,

diff --git a/compiler/rustc_typeck/src/check/upvar.rs b/compiler/rustc_typeck/src/check/upvar.rs
index e0bbe3cb07917d8c1417bab418f0f946de194d8f..019fa78fb1e0edb8f1c0df7fa95c541ae25b7d15 100644 (file)
--- a/compiler/rustc_typeck/src/check/upvar.rs
+++ b/compiler/rustc_typeck/src/check/upvar.rs
@@ -333,7 +333,7 @@ fn min_captures_to_closure_captures_bridge(&self, closure_def_id: DefId) {
     /// the required captured paths.
     ///
     /// Eg:
-    /// ```rust
+    /// ```rust,no_run
     /// struct Point { x: i32, y: i32 }
     ///
     /// let s: String;  // hir_id_s
@@ -575,7 +575,9 @@ struct InferBorrowKind<'a, 'tcx> {
     /// Consider closure where s.str1 is captured via an ImmutableBorrow and
     /// s.str2 via a MutableBorrow
     ///
-    /// ```rust
+    /// ```rust,no_run
+    /// struct SomeStruct { str1: String, str2: String }
+    ///
     /// // Assume that the HirId for the variable definition is `V1`
     /// let mut s = SomeStruct { str1: format!("s1"), str2: format!("s2") }
     ///
@@ -584,7 +586,7 @@ struct InferBorrowKind<'a, 'tcx> {
     ///     println!("Updating SomeStruct with str1=", s.str1);
     ///     // Assume that the HirId for the expression `*s.str2` is `E2`
     ///     s.str2 = new_s2;
-    /// }
+    /// };
     /// ```
     ///
     /// For closure `fix_s`, (at a high level) the map contains
@@ -931,7 +933,8 @@ fn var_name(tcx: TyCtxt<'_>, var_hir_id: hir::HirId) -> Symbol {
 /// `determine_capture_info(existing_info, current_info)`. This works out because the
 /// expressions that occur earlier in the closure body than the current expression are processed before.
 /// Consider the following example
-/// ```rust
+/// ```rust,no_run
+/// struct Point { x: i32, y: i32 }
 /// let mut p: Point { x: 10, y: 10 };
 ///
 /// let c = || {
@@ -942,7 +945,7 @@ fn var_name(tcx: TyCtxt<'_>, var_hir_id: hir::HirId) -> Symbol {
 ///     // ...
 ///     p.x += 10; // E2
 /// // ^ E2 ^
-/// }
+/// };
 /// ```
 /// `CaptureKind` associated with both `E1` and `E2` will be ByRef(MutBorrow),
 /// and both have an expression associated, however for diagnostics we prefer reporting

diff --git a/compiler/rustc_typeck/src/expr_use_visitor.rs b/compiler/rustc_typeck/src/expr_use_visitor.rs
index 72e5a7ef1b6e14ba667935240c0619862d358d03..1b51d5e0182fde51426de0751acd373488cacdd8 100644 (file)
--- a/compiler/rustc_typeck/src/expr_use_visitor.rs
+++ b/compiler/rustc_typeck/src/expr_use_visitor.rs
@@ -611,7 +611,7 @@ fn walk_captures_closure_captures(&mut self, closure_expr: &hir::Expr<'_>) {
     /// In the following example the closures `c` only captures `p.x`` even though `incr`
     /// is a capture of the nested closure
     ///
-    /// ```rust
+    /// ```rust,ignore(cannot-test-this-because-pseduo-code)
     /// let p = ..;
     /// let c = || {
     ///    let incr = 10;