Function place_is_provably_shared 

pub(crate) async fn place_is_provably_shared<'db>(
    env: &mut Env<'db>,
    place: SymPlace<'db>,
) -> Errors<bool>