fn is_free_region(region: Region<'_>) -> bool