Skip to content

clarify that unchecked indexing is UB even if the reference is never used#63233

Merged
bors merged 3 commits intorust-lang:masterfrom
RalfJung:get_unchecked
Aug 4, 2019
Merged

clarify that unchecked indexing is UB even if the reference is never used#63233
bors merged 3 commits intorust-lang:masterfrom
RalfJung:get_unchecked

Commits

Commits on Aug 3, 2019

Commits on Aug 4, 2019