Можно ли как задать аннотациями пост условия ?

var doc = XDocument.Load(outputFile.Filename);
return doc.Root.Elements("StroyInfo5UpdateInfo")
   .Select(element => new StroyInfo5UpdateInfo() { ...} ).ToList();

Тут R# говорит, что свойство doc.Root может быть null, но после вызова XDocument.Load — такого не может быть. Если бы R# умел сабж, подобных ложных варнингов можно было бы избежать..