1--TEST--
2Testing interface declaration using the original and alias class name
3--FILE--
4<?php
5
6interface a { }
7
8class_alias('a', 'b');
9
10interface c extends a, b { }
11
12?>
13--EXPECTF--
14Fatal error: Class c cannot implement previously implemented interface a in %s on line %d
15