Struct rustc_borrowck::FnPartsWithCFGExperimental

pub struct FnPartsWithCFG<'a> {
    pub fn_parts: FnParts<'a>,
    pub cfg: &'a CFG,
}

This and a ty::ctxt is all you need to run the dataflow analyses used in the borrow checker.

Fields

fn_parts
cfg

Methods

impl<'a> FnPartsWithCFG<'a>

fn from_fn_like(f: &'a FnLikeNode, g: &'a CFG) -> FnPartsWithCFG<'a>