anchor.diff:        Builder.emit (OpCodes.Call, property.GetGetMethod ()) >>
         Builder.emit (OpCodes.Ret))
   
  -  static member overrideSetMethodWhenCanWrite name (property: PropertyInfo) : Builder<unit> =
  +  static member overrideSetMethodWhenCanWrite name (property: PropertyInfo) =
       if property.CanWrite then
         Builder.overrideMethod name
          typeof<Void>
  
positive.code:      [||]
       defineRest
  
  /////////////////////////////////////////////////////////////////////////
  
  type [<InferenceRules>] Rep () =
    member this.rep () : Rep<'t> = StaticMap<Rep>.Memoize <| fun () ->
  
negative.code:         baseType)
      let (values, ()) = builder (typeBuilder, [])
      let baseArgTypes =
        match baseType.GetConstructors
                (BindingFlags.Any ||| BindingFlags.Instance) with
         | [|baseCtor|] when baseCtor.GetParameters().Length = basePars.Length ->
           let baseArgTypes =
             baseCtor.GetParameters () |> Array.map (fun p -> p.ParameterType)
           let ctor =
  