Я ничего не слышал - поскольку вы не можете использовать отражение, чтобы получить комментарии в скомпилированной сборке, я не думаю, что это возможно. Компилятор или инструмент анализа кода может возможно проверить, правильно ли комментированы какие-либо сгенерированные (или нисходящие?) Исключения в комментариях XML, но это все.
Возможно, вас заинтересует Spec # от Microsoft Research. По данным сайта проекта:
Spec # является расширением объектно-ориентированного языка C #. Он расширяет систему типов для включения ненулевых типов и проверенных исключений. Он предоставляет контракты методов в форме предварительных и постусловий, а также инвариантов объектов.
Это, я думаю, примерно так близко, как вы собираетесь получить. Он будет делать то, что делает Java: заставлять вызывающие функции, которые выдают исключения, либо обрабатывать эти исключения, либо указывать в своих метаданных, что они сами распространяют / выдают эти исключения, пока исключение не будет обработано где-то . Я не знаю, позволит ли Spec # проверять только определенные типы исключений.