1--TEST-- 2A less restrictive type constrain is part of the DNF type 003 3--FILE-- 4<?php 5 6interface A {} 7interface B {} 8interface C {} 9 10function test(): (A&B)|(A&B&C) {} 11 12?> 13===DONE=== 14--EXPECTF-- 15Fatal error: Type A&B&C is redundant as it is more restrictive than type A&B in %s on line %d 16