anchor.diff:      /// SafeHandle finalizer must be run.
       member IsMustRun: bool
       
  +    /// Functional update of the value
  +    member With: ?name: string * ?attributes: MethodAttributes * ?implAttributes: MethodImplAttributes * ?callingConv: ILCallingConv * ?parameters: ILParameters * ?ret: ILReturn * ?body: ILLazyMethodBody * ?securityDecls: ILSecurityDecls * ?isEntryPoint:bool * ?genericParams: ILGenericParameterDefs * ?customAttrs: ILAttributes -> ILMethodDef
       member WithSpecialName: ILMethodDef
       member WithHideBySig: unit -> ILMethodDef
       member WithHideBySig: bool -> ILMethodDef
  
positive.code: /// may include the bounds, if any, on the generic parameter.
  type ILGenericParameterDef =
      { Name: string
      /// At most one is the parent type, the others are interface types.
        Constraints: ILTypes 
        /// Variance of type parameters, only applicable to generic parameters for generic interfaces and delegates.
        Variance: ILGenericVariance 
        /// Indicates the type argument must be a reference type.
        HasReferenceTypeConstraint: bool     
        CustomAttrs: ILAttributes
        /// Indicates the type argument must be a value type, but not Nullable.
        HasNotNullableValueTypeConstraint: bool  
        /// Indicates the type argument must have a public nullary constructor.
        HasDefaultConstructorConstraint: bool }
  
  
negative.code:     /// The method is exported to unmanaged code using COM interop.
      member IsUnmanagedExport: bool
      member IsReqSecObj: bool
  
      /// Some methods are marked "HasSecurity" even if there are no permissions attached, e.g. if they use SuppressUnmanagedCodeSecurityAttribute 
      member HasSecurity: bool
      member IsManaged: bool
  