It would be really helpful if type is inferred for variables based on assignment. In that case, because a value with a known type is assigned to $this->arg1, and because it has no explicit type declaration, its type should be known.
Of course @var comments should have the highest precedence.
It would be really helpful if type is inferred for variables based on assignment. In that case, because a value with a known type is assigned to
$this->arg1, and because it has no explicit type declaration, its type should be known.Of course
@varcomments should have the highest precedence.