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): DateTime
8    {
9    }
10}
11?>
12--EXPECTF--
13Fatal error: Declaration of MyDateTime::setTime(int $hour, int $minute, int $second = 0, bool $microsecond = false): DateTime must be compatible with DateTime::setTime(int $hour, int $minute, int $second = 0, int $microsecond = 0): DateTime in %s on line %d
14