Function perm_is_provably_lent 

pub(crate) async fn perm_is_provably_lent<'db>(
    env: &mut Env<'db>,
    perm: SymPerm<'db>,
) -> Errors<bool>