1--TEST-- 2Union and intersection type leaks 3--FILE-- 4<?php 5eval('abstract class y {function y(): (y&yy)|t {}}'); 6?> 7DONE 8--EXPECTF-- 9DONE 10