anchor.diff:              let ilMethods =
                   [
                       for propName, fldName, fldTy in flds ->
  -                        let attrs = if isStruct then [GenReadOnlyAttribute g] else []
  +                        let attrs = if isStruct then [ GenReadOnlyAttribute g ] else []
                           mkLdfldMethodDef ("get_" + propName, ILMemberAccess.Public, false, ilTy, fldName, fldTy, attrs)
                       yield! genToStringMethod ilTy
                   ]
  
positive.code:     | PtrTypesOK
      | PtrTypesNotOK
  
  let GenReadOnlyAttribute (g: TcGlobals) = mkILCustomAttribute (g.attrib_IsReadOnlyAttribute.TypeRef, [], [], [])
  
  let GenReadOnlyAttributeIfNecessary (g: TcGlobals) ty =
      let add = isInByrefTy g ty && g.attrib_IsReadOnlyAttribute.TyconRef.CanDeref
  
negative.code:                             let ilMethName = "get_" + ilPropName
                              let access = ComputeMemberAccess isPropHidden
                              let isStruct = tcref.IsFSharpStructOrEnumTycon && not tcref.IsEnumTycon
  
                              let attrs =
                                  if isStruct && not isStatic then
                                      [ GenReadOnlyAttribute g ]
                                  else
                                      []
  
                              yield mkLdfldMethodDef (ilMethName, access, isStatic, ilThisTy, ilFieldName, ilPropType, attrs)
  
                      // Generate property setter methods for the mutable fields
  