Спрашивал Лукаcа (lsmith) об этом же, ответил что они уже слали jetbrains некий xml описывающий все возвращаемые классы с просьбой сделать поддержку такой динамической типизации. Видимо предполагается описывать и свои сервисы в похожем xml. Т.е. какой-то процесс идет, но конечно в 201x году изобрести DI без подержки автокомплита (и гордиться им) это в духе Фабьена. Мы пока повсеместно используем /**
var… */ы и кое-где приватные геттеры. Но не отдельный класс со статическими, это же нарушает принципы IoC.