public function getCommonAncestorType(IType $type, IType $otherType);
public function visitTernary(O\TernaryExpression $expression) { $this->walk($expression->getCondition()); $this->walk($expression->getIfTrue()); $this->walk($expression->getIfFalse()); $this->analysis[$expression] = $this->typeSystem->getCommonAncestorType($this->analysis[$expression->hasIfTrue() ? $expression->getIfTrue() : $expression->getCondition()], $this->analysis[$expression->getIfFalse()]); }