anchor.diff:                  override __.DeclaringType = declTy
   
                   override __.PropertyType = inp.PropertyType |> txILType (gps, [| |])
  -                override __.GetGetMethod(_nonPublic) = inp.GetMethod |> Option.map txILMethodRef |> Option.toObj
  -                override __.GetSetMethod(_nonPublic) = inp.SetMethod |> Option.map txILMethodRef |> Option.toObj
  +                override __.GetGetMethod(_nonPublic) = inp.GetMethod |> Option.map (txILMethodRef declTy) |> Option.toObj
  +                override __.GetSetMethod(_nonPublic) = inp.SetMethod |> Option.map (txILMethodRef declTy) |> Option.toObj
                   override __.GetIndexParameters() = inp.IndexParameters |> Array.map (txILParameter (gps, [| |]))
                   override __.CanRead = inp.GetMethod.IsSome
                   override __.CanWrite = inp.SetMethod.IsSome
  
positive.code:                 override __.DeclaringType = declTy
  
                  override __.EventHandlerType = inp.EventHandlerType |> txILType (gps, [| |])
                  override __.GetAddMethod(_nonPublic) = inp.AddMethod |> txILMethodRef 
                  override __.GetRemoveMethod(_nonPublic) = inp.RemoveMethod |> txILMethodRef
                  override __.GetCustomAttributesData() = inp.CustomAttrs |> txCustomAttributesData
                  override __.MetadataToken = inp.Token
  
  
negative.code:         override this.GetMembers _bindingFlags = notRequired this "GetMembers" (nameText())
  
          override this.GetInterface(_name, _ignoreCase) = notRequired this "GetInterface" (nameText())
  
          override this.GetInterfaces() = notRequired this "GetInterfaces" (nameText())
  
          override this.GetAttributeFlagsImpl() = notRequired this "GetAttributeFlagsImpl" (nameText())
  
          override this.UnderlyingSystemType =
              match kind with
              | ProvidedSymbolKind.SDArray
  