pub fn compute_permission_boundaries<'a, 'tcx: 'a>(
    analysis: &AquascopeAnalysis<'a, 'tcx>
) -> Result<Vec<PermissionsBoundary>>