Si un método virtual tiene LinkDemand, en muchos casos, también deberían tenerlo todas las invalidaciones del mismo, y si ...

Si un método virtual tiene LinkDemand, en muchos casos, también deberían tenerlo todas las invalidaciones del mismo, y si una invalidación tiene LinkDemand, también debería tenerlo el método virtual de invalidación. Ya que es posible llamar a cualquiera de las invalidaciones de un método virtual explícitamente, todos ellos deberían tener el mismo estado de LinkDemand o, si no, se deberían revisar. Esto también se aplica a las comprobaciones de seguridad de LinkDemand para los métodos que forman parte de una implementación de interfaz, porque el llamador podría usar una referencia de tipo interfaz para tener acceso al método.