1--TEST--
2The (real) cast is deprecated
3--FILE--
4<?php
5
6var_dump((real) 42);
7
8?>
9--EXPECTF--
10Deprecated: The (real) cast is deprecated, use (float) instead in %s on line %d
11float(42)
12