{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
                    // cannot transmute pointers to integers.
                    // limited transmutes: it only works between types with the same layout, and
                    if value.as_mplace_or_imm().is_right() {