In PR #22, the ability was added to check that the variable type matches the expected types
Исходя из новых возможностей, надо написать тесты для каждого typeProvider4 (https://github.com/VKCOM/kphpstorm/blob/master/src/main/resources/META-INF/plugin.xml#L96)