For implementing declare @type interacting with declare @parents during compilation - we need to be able to add an annotation to
'binary type binding' (this is how types are seen during incremental compilation).
A side-effect of the way that we handle itds on default methods on top-most implementors of interfaces is that a class
acquiring a final default ITD will erroneously report that it can't override its own member.