Function aquascope::analysis::permissions::compute

source ·

pub fn compute<'a, 'tcx>(
    tcx: TyCtxt<'tcx>,
    body_id: BodyId,
    body_with_facts: &'a BodyWithBorrowckFacts<'tcx>
) -> PermissionsCtxt<'a, 'tcx>

Expand description

Compute the PermissionsCtxt for a given body.