gistfile1.aw

<?php

trait T
{
	public function foo(array $x)
	{
		echo __METHOD__;
	}
}

class Test
{
	use T {
		T::foo as bar;
	}
}

class TestSub extends Test
{
	public function foo()
	{
		echo __METHOD__;
	}
}

(new TestSub())->bar([]); // works
(new TestSub())->foo(); // Declaration of TestSub::foo() should be compatible with Test::foo(array $x) - but I never declared this one before