anchor.diff:                      | :? FieldInfo as that -> this.MetadataToken = that.MetadataToken && eqType this.DeclaringType that.DeclaringType
                       | _ -> false
   
  -                override this.ReflectedType = notRequired "ReflectedType" this.Name
  -                override this.GetCustomAttributes(inherited) = notRequired "GetCustomAttributes" this.Name
  -                override this.GetCustomAttributes(attributeType, inherited) = notRequired "GetCustomAttributes" this.Name
  -                override this.IsDefined(attributeType, inherited) = notRequired "IsDefined" this.Name
  -                override this.SetValue(obj, _value, invokeAttr, binder, culture) = notRequired "SetValue" this.Name
  -                override this.GetValue(obj) = notRequired "GetValue" this.Name
  -                override this.FieldHandle = notRequired "FieldHandle" this.Name
  +                override this.ReflectedType = notRequired this "ReflectedType" this.Name
  +                override this.GetCustomAttributes(inherited) = notRequired this "GetCustomAttributes" this.Name
  +                override this.GetCustomAttributes(attributeType, inherited) = notRequired this "GetCustomAttributes" this.Name
  +                override this.IsDefined(attributeType, inherited) = notRequired this "IsDefined" this.Name
  +                override this.SetValue(obj, _value, invokeAttr, binder, culture) = notRequired this "SetValue" this.Name
  +                override this.GetValue(obj) = notRequired this "GetValue" this.Name
  +                override this.FieldHandle = notRequired this "FieldHandle" this.Name
   
                   override __.ToString() = sprintf "ctxt literal field %s(...) in type %s" inp.Name declTy.FullName }
   
  
positive.code:                 override __.MetadataToken = inp.Token
  
                  // unused
                  override this.MethodHandle = notRequired "MethodHandle" this.Name
                  override this.ReturnParameter = notRequired "ReturnParameter" this.Name
                  override this.IsDefined(attributeType, inherited) = notRequired "IsDefined" this.Name
                  override this.ReturnTypeCustomAttributes = notRequired "ReturnTypeCustomAttributes" this.Name
                  override this.GetBaseDefinition() = notRequired "GetBaseDefinition" this.Name
                  override this.GetMethodImplementationFlags() = notRequired "GetMethodImplementationFlags" this.Name
                  override this.Invoke(obj, invokeAttr, binder, parameters, culture) = notRequired "Invoke" this.Name
                  override this.ReflectedType = notRequired "ReflectedType" this.Name
                  override this.GetCustomAttributes(inherited) = notRequired "GetCustomAttributes" this.Name
                  override this.GetCustomAttributes(attributeType, inherited) = notRequired "GetCustomAttributes" this.Name
  
                  override __.ToString() = sprintf "ctxt method %s(...) in type %s" inp.Name declTy.FullName  }
  
  
negative.code:             let r = getReader().ILModuleDef.Resources.Entries |> Seq.find (fun r -> r.Name = resourceName)
              match r.Location with
              | ILResourceLocation.Local f -> new MemoryStream(f()) :> Stream
              | _ -> notRequired x "reading manifest resource %s from non-embedded location" resourceName
  
          member x.BindType(nsp:string uoption, nm:string) =
              match x.TryBindType(nsp, nm) with
  