fn link_match(rcx: &Rcx, discr: &hir::Expr, arms: &[hir::Arm]) {
    debug!("regionck::for_match()");
    let mc = mc::MemCategorizationContext::new(rcx.fcx.infcx());
    let discr_cmt = ignore_err!(mc.cat_expr(discr));
    debug!("discr_cmt={:?}", discr_cmt);
    for arm in arms {
        for root_pat in &arm.pats {
            link_pattern(rcx, mc, discr_cmt.clone(), &**root_pat);
        }
    }
}
/// Computes the guarantors for any ref bindings in a match and
/// then ensures that the lifetime of the resulting pointer is
/// linked to the lifetime of its guarantor (if any).
Computes the guarantors for any ref bindings in a match and
then ensures that the lifetime of the resulting pointer is
linked to the lifetime of its guarantor (if any).
Computes the guarantors for any ref bindings in a match and then ensures that the lifetime of the resulting pointer is linked to the lifetime of its guarantor ( if any ) .
fn link_match(rcx: &Rcx, discr: &hir::Expr, arms: &[hir::Arm]) {
    debug!("regionck::for_match()");
    let mc = mc::MemCategorizationContext::new(rcx.fcx.infcx());
    let discr_cmt = ignore_err!(mc.cat_expr(discr));
    debug!("discr_cmt={:?}", discr_cmt);
    for arm in arms {
        for root_pat in &arm.pats {
            link_pattern(rcx, mc, discr_cmt.clone(), &**root_pat);
        }
    }
}
fn link_match ( rcx : & Rcx , discr : & hir :: Expr , arms : & [ hir :: Arm ] ) { debug ! ( " " ) ; let mc = mc :: MemCategorizationContext :: new ( rcx . fcx . infcx ( ) ) ; let discr_cmt = ignore_err ! ( mc cat_expr ( discr ) ) ; debug ! ( " " discr_cmt ) ; for arm in arms { for root_pat in & arm . pats { link_pattern ( rcx , mc , discr_cmt . clone ( ) , & * * root_pat ) ; } } }
Computes the guarantors for any ref bindings in a match and
then ensures that the lifetime of the resulting pointer is
linked to the lifetime of its guarantor (if any).
Computes the guarantors for any ref bindings in a match and then ensures that the lifetime of the resulting pointer is linked to the lifetime of its guarantor ( if any ) .
rcx
&Rcx
discr
&hir::Expr
arms
&[hir::Arm]
rcx
&Rcx
discr
&hir::Expr
arms
&[hir::Arm]