pub unsafe fn lean_inc(o: *mut lean_object)Expand description
Bump o’s refcount by one, or no-op for scalar-tagged pointers
(lean.h:561).
§Safety
o must be either a scalar-tagged pointer (low bit set) or a valid Lean
heap object. The scalar branch is unconditionally safe; the heap branch
inherits lean_inc_ref’s precondition.