anchor.diff:                              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 []
  +
  +                            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
  
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: 
              mkILNonGenericInstanceMethod (ilMethName, reprAccess, [], ilReturn, body)
  
      ilMethodDef.With(customAttrs = mkILCustomAttrs customAttrs).WithSpecialName
  
  /// Choose the constructor parameter names for fields
  let ChooseParamNames fieldNamesAndTypes =
  