{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
        // those as killed as well.
        // A `Call` terminator's return value can be a local which has borrows, so we need to record
        if let TerminatorKind::Call { destination, .. } = terminator.kind {