aliasing model summary: fix incorrect definition of liveness - #2394

aliasing model summary: fix incorrect definition of liveness#2394

RalfJung wants to merge 1 commit into

rust-lang:masterrust-lang/reference:masterfrom

RalfJung:ref-cell-liveRalfJung/reference:ref-cell-liveCopy head branch name to clipboard