Faster refcount cleanup in dec_ref_known (
8391b96)
lean_dec_ref_known now calls lean_free_object instead of lean_del_object when dropping a constructor with known children. This is a targeted performance improvement in the runtime’s reference-counting path, shaving overhead from object teardown.
Other misc changes
- None