Created attachment 164063 [details]
IDE log

When property of some class is named "type" its type is detected incorrectly.
It seems that property with name "type" is always considered being of
type it belongs to.

Example 1 (magic property "type"):

/**
 * @property ClassB $type
 */
class ClassA
{
	public $aProp;
}

class ClassB
{
	public $bProp;
}

$aObject = new ClassA;
$aObject->type->; //suggestions here do not include ClassA properties (instead of ClassB)


Example 2 (simple property "type"):

class ClassA
{
	public $aProp;
	
	/**
	 *
	 * @var ClassB
	 */
	public $type;
}

class ClassB
{
	public $bProp;
}

$aObject = new ClassA;
$aObject->type-> //suggestions here do not include ClassA properties (instead of ClassB)