push_refined_span
It turns out that all of the `len` manipulation here was just reimplementing `last_mut`.
unconditional_recursion
lower_intrinsics