Unused since commit 8331dbe6d023a168334a7a46f15731c6bc1baf1e ("Add an Mmap wrapper to rustc_data_structures").