ZGC uses a family of strongly type integral types to test and verify invariants for addresses, offset, indices and colored pointers within the heap. It is usually the first place we hit an assert if something goes wrong, and looking at the actual value is often enough to identify if it is memory corruption, a broken color invariant or a mistake in the use of the type system.

Unfortunately not all asserts print the value in the assert message, requiring more extensive investigation to even identify the nature of the problem.

I propose we enhance all our zaddress assert printing to always include the invariant breaking value.