{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"//"}]}
        // dereference after a drop, for instance.
        // the current basic block. Otherwise, it could be used in another basic block, causing a
        let deref = ptr.dereference(self.location).to_rvalue();