pub const INLINE_DEPTH: usize = 32;Expand description
The deepest term the kernel will walk on a stack it did not size.
Set from the measurement above with a wide margin: the deepest walk measured, infer_type,
fits about 123 rungs in 2 MiB, and the kernel nests other recursive walks inside it
(normalize → reduce_step → substitute_avoiding → freshen), so the inline band is set
at a quarter of the shallowest ceiling any single walk has.