{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"interp_ok(())"}]}
        interp_ok(())
    fn after_stack_push(_ecx: &mut InterpCx<'tcx, Self>) -> InterpResult<'tcx> {
    }