{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Rvalue::Cast(CastKind::Transmute,"}]}
                Rvalue::Cast(CastKind::Transmute, Operand::Copy(nonnull_place), ptr_ty),
                Place::from(ptr_local),
            )],