[BuKT]

Вы немного запутались. Геттеры у меня в SomeClass и в SomeOtherClass. Возвращаются переменные типа SomeVarClass и SomeOtherVarClass соответственно. Причём SomeOtherClass extends SomeClass, а SomeOtherVarClass extends SomeVarClass.

Компилятору понять, насколько точного типа переменную _someVar возвращать можно из того, геттер какого класса зовётся - базового или более конкретного.