1--TEST--
2Test that a mixed casting is not supported
3--FILE--
4<?php
5
6$foo = (mixed) 12;
7
8?>
9--EXPECTF--
10Parse error: syntax error, unexpected integer "12" in %s on line %d
11