1--TEST--
2Object type can only default to null
3--FILE--
4<?php
5
6function test(object $obj = 42) { }
7
8?>
9--EXPECTF--
10Fatal error: Cannot use int as default value for parameter $obj of type object in %s on line %d
11