You might be able to write that into static analys...

# announcements

[fellshard]

You might be able to write that into static analysis, if you're testing against closed types, but at that point you're also probably looking at very low benefit for a moderately high cost.