| protected assertCommonAncestor ( Pinq\Analysis\IType $ancestor, Pinq\Analysis\IType $type1, Pinq\Analysis\IType $type2 ) | ||
| $ancestor | Pinq\Analysis\IType | |
| $type1 | Pinq\Analysis\IType | |
| $type2 | Pinq\Analysis\IType | |
protected function assertCommonAncestor(IType $ancestor, IType $type1, IType $type2)
{
$this->assertEqualTypes($ancestor, $this->typeSystem->getCommonAncestorType($type1, $type2));
$this->assertEqualTypes($ancestor, $this->typeSystem->getCommonAncestorType($type2, $type1));
}