Function aquascope::analysis::compute_permissions

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