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