private void MarkVirtualMethodAsInDemand(IMethodDefinition virtualMethod) { Contract.Requires(GarbageCollectHelper.MethodDefinitionIsUnspecialized(virtualMethod)); Contract.Requires(virtualMethod.IsVirtual); virtualCallsInDemand.NoteDispatchIsInDemand(virtualMethod); }