1--TEST-- 2The default value is an integer in the parent class method's signature. 3--FILE-- 4<?php 5class MyDateTime extends DateTime 6{ 7 public function setTime(int $hour, int $minute, int $second = 0, bool $microsecond = false) 8 { 9 } 10} 11?> 12--EXPECTF-- 13Fatal error: Declaration of MyDateTime::setTime(int $hour, int $minute, int $second = 0, bool $microsecond = false) must be compatible with DateTime::setTime(int $hour, int $minute, int $second = 0, int $microsecond = 0) in %s on line %d 14