generate invalidations from 2-phase-borrow activations
generate invalidations from 2-phase-borrow activations

graydon/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust