--TEST--
Testing interface declaration using the original and alias class name
--FILE--
<?php

interface a { }

class_alias('a', 'b');

interface c extends a, b { }

?>
--EXPECTF--
Fatal error: Class c cannot implement previously implemented interface a in %s on line %d