1--TEST--
2The (unset) cast is deprecated
3--FILE--
4<?php
5
6$x = 1;
7var_dump((unset) $x);
8var_dump($x);
9
10?>
11--EXPECTF--
12Deprecated: The (unset) cast is deprecated in %s on line %d
13NULL
14int(1)
15