Detect potential use of method of concrete class

[rskuipers]

In the following scenario we do type-hint the variable but we try to use a method, supposedly one of a implementation, without asserting anything.

interface ExampleInterface
{
    public function update();
}

function func(ExampleInterface $var)
{
    $var->insert();
}