Я думаю, что это невозможно без огромных вычислительных усилий.Вызов методов экземпляра из конструктора, который, в свою очередь, может вызывать другие методы, включая методы из базовых типов, должен быть проанализирован.Т.е. все места, где this
передается неявно.Слепое предупреждение при вызове методов экземпляра из ctor не кажется хорошей идеей.