async fn places_are_provably_shared<'db>( env: &mut Env<'db>, places: &[SymPlace<'db>], ) -> Errors<bool>