Я работал над проектом, который анализирует код Java. Тестируя мой проект на некотором коде, я обнаружил, что он выдает ошибку в случаях, подобных приведенному ниже, в частности, при преобразовании типа B
Подробнее здесь: https://stackoverflow.com/questions/790 ... f-this-con