diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2019-12-29 11:16:22 +0100 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2019-12-30 11:45:59 +0100 |
| commit | 176efc432363d544ce86082fa0e29eb9b3a22e4d (patch) | |
| tree | 49b9cf3ab2879e3a2933bef4bffc5a9e5e39bb20 | |
| parent | afcd5c16b7d268ca64ca274366276568d0844cc3 (diff) | |
| download | rust-176efc432363d544ce86082fa0e29eb9b3a22e4d.tar.gz rust-176efc432363d544ce86082fa0e29eb9b3a22e4d.zip | |
Inert doc comments.
| -rw-r--r-- | src/librustc_passes/region.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/librustc_passes/region.rs b/src/librustc_passes/region.rs index b828e014cfc..7630e3e8950 100644 --- a/src/librustc_passes/region.rs +++ b/src/librustc_passes/region.rs @@ -512,6 +512,7 @@ fn resolve_local<'tcx>( /// Returns `true` if `pat` match the `P&` non-terminal. /// + /// ```text /// P& = ref X /// | StructName { ..., P&, ... } /// | VariantName(..., P&, ...) @@ -519,6 +520,7 @@ fn resolve_local<'tcx>( /// | ( ..., P&, ... ) /// | ... "|" P& "|" ... /// | box P& + /// ``` fn is_binding_pat(pat: &hir::Pat<'_>) -> bool { // Note that the code below looks for *explicit* refs only, that is, it won't // know about *implicit* refs as introduced in #42640. @@ -575,6 +577,7 @@ fn resolve_local<'tcx>( /// If `expr` matches the `E&` grammar, then records an extended rvalue scope as appropriate: /// + /// ```text /// E& = & ET /// | StructName { ..., f: E&, ... } /// | [ ..., E&, ... ] @@ -583,6 +586,7 @@ fn resolve_local<'tcx>( /// | box E& /// | E& as ... /// | ( E& ) + /// ``` fn record_rvalue_scope_if_borrow_expr<'tcx>( visitor: &mut RegionResolutionVisitor<'tcx>, expr: &hir::Expr<'_>, @@ -623,11 +627,13 @@ fn resolve_local<'tcx>( /// More formally, if `expr` matches the grammar `ET`, record the rvalue scope of the matching /// `<rvalue>` as `blk_id`: /// + /// ```text /// ET = *ET /// | ET[...] /// | ET.f /// | (ET) /// | <rvalue> + /// ``` /// /// Note: ET is intended to match "rvalues or places based on rvalues". fn record_rvalue_scope<'tcx>( |