{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
        // the current basic block. Otherwise, it could be used in another basic block, causing a
        // NOTE: instead of returning the dereference here, we have to assign it to a variable in
        // dereference after a drop, for instance.