public function testIndexers()
{
$this->doAnalysisTest(function (array $array) {
$array['abc'];
}, function (ITypeAnalysis $analysis, O\IndexExpression $expression) {
$this->assertTypeMatchesValue($analysis, $expression->getIndex());
$this->assertEqualsNativeType(INativeType::TYPE_ARRAY, $analysis->getIndex($expression)->getSourceType());
$this->assertEqualsNativeType(INativeType::TYPE_MIXED, $analysis->getIndex($expression)->getReturnType());
});
}