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