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