--- a/rust/hg-core/src/dirstate_tree/status.rs Tue Oct 19 19:03:39 2021 +0200
+++ b/rust/hg-core/src/dirstate_tree/status.rs Mon Oct 18 19:02:40 2021 +0200
@@ -200,7 +200,7 @@
// directory eligible for `read_dir` caching.
if let Some(meta) = directory_metadata {
if cached_mtime
- .very_likely_equal_to_mtime_of(meta)
+ .likely_equal_to_mtime_of(meta)
.unwrap_or(false)
{
// The mtime of that directory has not changed
@@ -471,7 +471,7 @@
let is_up_to_date = if let Some(cached) =
dirstate_node.cached_directory_mtime()?
{
- cached.very_likely_equal(truncated)
+ cached.likely_equal(truncated)
} else {
false
};