Skip to content

Auto merge of #3896 - RalfJung:ptr_offset_unsigned_overflow, r=RalfJung #8830

Auto merge of #3896 - RalfJung:ptr_offset_unsigned_overflow, r=RalfJung

Auto merge of #3896 - RalfJung:ptr_offset_unsigned_overflow, r=RalfJung #8830