php-src/Zend/tests/ns_056.phpt

--TEST--
056: type-hint compatibility in namespaces
--SKIPIF--
<?php if (!extension_loaded("spl")) die("skip SPL is no available"); ?>
--FILE--
<?php
namespace test\ns1;
use \SplObserver;

class Foo implements SplObserver {
	function update(\SplSubject $x) {
		echo "ok\n";
	}
}

class Bar implements \SplSubject {
	function attach(SplObserver $x) {
		echo "ok\n";
	}
	function notify() {
	}
	function detach(SplObserver $x) {
	}
}
$foo = new Foo();
$bar = new Bar();
$bar->attach($foo);
$foo->update($bar);
?>
--EXPECT--
ok
ok