Bug 258418

<?php
class IterableSetOfThings implements Iterator{
	protected $things=[],$i=0;
	public function push(Thing $thing):bool{$this->things[]=$thing;return true;}
//	public function expose(){return $this->things;}//For test purposes
//http://stackoverflow.com/questions/20577438/treat-a-php-class-that-implements-iterator-as-an-array
	public function current():Thing{return $this->things[$this->i];}
	public function next(){$this->i++;}
	public function key():int{return $this->i;}
	public function valid():bool{return ($this->i>=0 && $this->i<count($this->things));}
	public function rewind(){$this->i=0;}
}
class Thing{
	protected $string;
	public function __construct(string $thing_string){$this->string=$thing_string;}
	public function testMethod():bool{return true;}
	public function __toString():string{return $this->string;}
}
$things=new IterableSetOfThings();
$things->push(new Thing('test1'));
$things->push(new Thing('test2'));

//WITH THE ABOVE CODE: TRY THIS...

foreach($things AS $thing){
	$thing->
}

//Instead of dropping down a list of auto-completion options including the method, "testMethod()"; we see a list of options for the container/set class, "IterableSetOfThings"!
//NOW TRY THIS: An explicit type-hint...

foreach($things AS $thing){/*@var $thing Thing*/
	$thing->
}

//This time, instead of dropping down a list of options for the Thing class as expected, we see a COMBINED list of options, for the union of all methods of both Thing and IterableSetOfThings!
//Correcting return-type-hinting features for Iterators etc., would make things a lot easier for many people, when using PHP7!