Ignore doctest for capture analysis examples

This commit is contained in:
Aman Arora 2020-11-15 18:06:30 -05:00
parent bb8c5e5d8b
commit 40dfe1eddd
3 changed files with 12 additions and 9 deletions

View File

@ -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,

View File

@ -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

View File

@ -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;