anchor.diff:                  override __.DeclaringType = declTy
   
                   override __.EventHandlerType = inp.EventHandlerType |> txILType (gps, [| |])
  -                override __.GetAddMethod(_nonPublic) = inp.AddMethod |> txILMethodRef 
  -                override __.GetRemoveMethod(_nonPublic) = inp.RemoveMethod |> txILMethodRef
  +                override __.GetAddMethod(_nonPublic) = inp.AddMethod |> txILMethodRef declTy
  +                override __.GetRemoveMethod(_nonPublic) = inp.RemoveMethod |> txILMethodRef declTy
                   override __.GetCustomAttributesData() = inp.CustomAttrs |> txCustomAttributesData
                   override __.MetadataToken = inp.Token
   
  
positive.code:         override this.GetNestedType(_name, _bindingFlags) = notRequired this "GetNestedType" (nameText())
  
          override __.GetConstructors _bindingFlags = notRequired this "GetConstructors" (nameText())
          override this.GetMethods _bindingFlags = notRequired this "GetMethods" (nameText())
  
          override this.GetFields _bindingFlags = notRequired this "GetFields" (nameText())
  
negative.code:             match m with 
              | :? ProvidedMethod as pm when methMap.ContainsKey pm -> methMap.[pm].FormalMethodSpec
              | m -> 
                  //Debug.Assert (m.Name <> "get_Item1" || m.DeclaringType.Name <> "Tuple`2")
                  let mref = transMethRef m
                  let minst = (if m.IsGenericMethod then Array.map transType (m.GetGenericArguments()) else [| |])
                  ILMethodSpec(mref, transType m.DeclaringType, minst)
  