anchor.diff:              | _ -> false
   
           
  -        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.MethodHandle = notRequired this "MethodHandle" this.Name
  +        override this.ReturnParameter = notRequired this "ReturnParameter" this.Name
  +        override this.IsDefined(_attributeType, _inherited) = notRequired this "IsDefined" this.Name
  +        override this.ReturnTypeCustomAttributes = notRequired this "ReturnTypeCustomAttributes" this.Name
  +        override this.GetBaseDefinition() = notRequired this "GetBaseDefinition" this.Name
  +        override this.GetMethodImplementationFlags() = notRequired this "GetMethodImplementationFlags" this.Name
  +        override this.Invoke(_obj, _invokeAttr, _binder, _parameters, _culture) = notRequired this "Invoke" this.Name
  +        override this.ReflectedType = notRequired this "ReflectedType" this.Name
           override this.GetCustomAttributes(_inherited) = emptyAttributes
           override this.GetCustomAttributes(_attributeType, _inherited) = emptyAttributes
   
  
positive.code:                 | None -> null
                  | Some md -> gtd.MakeConstructorInfo (this, md) 
  
              | _ -> notRequired "ContextTypeSymbol: GetConstructorImpl" this.Name
  
          override this.GetPropertyImpl(name, _bindingAttr, _binder, _returnType, types, _modifiers) = 
              match kind with
  
negative.code:         override __.DeclaringType = declaringType |> nonNull "ProvidedField.DeclaringType"
          override __.MemberType: MemberTypes = MemberTypes.Field
  
          override this.ReflectedType = notRequired this "ReflectedType" fieldName
          override __.GetCustomAttributes(_inherit) = emptyAttributes
          override __.GetCustomAttributes(_attributeType, _inherit) = emptyAttributes
          override this.IsDefined(_attributeType, _inherit) = notRequired this "IsDefined" fieldName
  
          override this.SetValue(_obj, _value, _invokeAttr, _binder, _culture) = notRequired this "SetValue" fieldName
          override this.GetValue(_obj): obj = notRequired this "GetValue" fieldName
          override this.FieldHandle = notRequired this "FieldHandle" fieldName
  
      /// Represents the type constructor in a provided symbol type.
      [<NoComparison>]
  