{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
                // dereferenceable!
                // Avoid `deref_pointer` -- this is not a deref, the ptr does not have to be
                let place = self.ref_to_mplace(&self.read_immediate(&args[0])?)?;