MCPcopy Create free account
hub / github.com/argumentcomputer/ix / def_eq_cache_hit

Function def_eq_cache_hit

crates/kernel/src/def_eq.rs:1955–1963  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

1953 && !a_head.contains(filter)
1954 && !b_head.contains(filter)
1955 && !wa_head.contains(filter)
1956 && !wb_head.contains(filter)
1957 {
1958 return;
1959 }
1960 // `ix check-rs` does not currently install a `log` subscriber. Emit the
1961 // compact, explicitly requested guard record directly so a local-fuel
1962 // failure cannot masquerade as generic recursion depth in CLI runs. The
1963 // full expressions remain behind `log::info!` below.
1964 eprintln!(
1965 "[deq max] {kind} const={} depth={} peak={} used={} a={} b={} a_head={} b_head={} wa_head={} wb_head={}",
1966 self.debug_label.as_deref().unwrap_or("<unknown>"),

Callers

nothing calls this directly

Calls 3

sortFunction · 0.85
env_with_idFunction · 0.70
sort0Function · 0.70

Tested by

no test coverage detected