updateThunk: indirectee can be tagged

Authored by jrtc27 on Oct 16 2017, 2:24 PM.
jrtc27 created this revision.Oct 16 2017, 2:24 PM
trofi accepted this revision.Oct 16 2017, 2:46 PM
This revision is now accepted and ready to land.Oct 16 2017, 2:46 PM
bgamari accepted this revision.Oct 16 2017, 4:42 PM

I agree. This seems quite reasonable to me.

Imagine a world where we had some sort of formal way to state and then mechanically check invariants like this. What a world that would be.

This revision was automatically updated to reflect the committed changes.

Wow, nice catch.