{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    val = M::retag_ptr_value(self, mir::RetagKind::Raw, &val)?;
                self.write_immediate(*val, &dest)?;