{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // we are 'transitioning' from `NotActivated` to `ActivatedAt`) and
            // Double check: This borrow is indeed a two-phase borrow (that is,
            // we've not found any other activations (checked above).