I must have misunderstood you. You made a statement that I parsed as follows: "If (this stuff isn't escaping) then (the JIT can prove that it isn't using a loc

I must have misunderstood you. You made a statement that I parsed as follows: "If (this stuff isn't escaping) then (the JIT can prove that it isn't using a lock)." That is logically equivalent to: "If not (the JIT can prove that it isn't using a lock) then not (this stuff isn't escaping)." Hence, I was explaining that using a lock doesn't count as an escape. But apparently I just misunderstood your meaning?