Check Record fields

src/Compiler/Checking/CheckDeclarations.fs

@@ -427,7 +427,12 @@ module TcRecdUnionAndEnumDeclarations =
     let TcFieldDecl (cenv: cenv) env parent isIncrClass tpenv (isStatic, synAttrs, id: Ident, nameGenerated, ty, isMutable, xmldoc, vis) =
         let g = cenv.g
         let m = id.idRange
-        let attrs, _ = TcAttributesWithPossibleTargets false cenv env AttributeTargets.FieldDecl synAttrs
+        let attrs, _ =
+            if g.langVersion.SupportsFeature(LanguageFeature.EnforceAttributeTargets) then
+                TcAttributesWithPossibleTargets false cenv env AttributeTargets.Property synAttrs
+            else
+                TcAttributesWithPossibleTargets false cenv env AttributeTargets.FieldDecl synAttrs
+
         let attrsForProperty, attrsForField = attrs |> List.partition (fun (attrTargets, _) -> (attrTargets &&& AttributeTargets.Property) <> enum 0) 
         let attrsForProperty = (List.map snd attrsForProperty) 
         let attrsForField = (List.map snd attrsForField)

tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/CustomAttributes/AttributeUsage/AttributeTargetsIsProperty.fs

@@ -8,3 +8,16 @@ type PropertyLevelAttribute() =
 type U =
     | [<PropertyLevel>] A
     | [<PropertyLevel>] B
+
+[<AttributeUsage(AttributeTargets.Property)>]
+type Name(x: string) =
+    inherit Attribute()
+    member _.value = x
+
+type User =
+    { [<Name("id")>]
+      Id: int
+      [<Name("email")>]
+      Email: string
+      [<Name("organization_id")>]
+      OrganizationId: option<string> }

tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/CustomAttributes/AttributeUsage/AttributeUsage.fs

@@ -497,6 +497,9 @@ module CustomAttributes_AttributeUsage =
         |> withDiagnostics [
             (Error 842, Line 14, Col 5, Line 14, Col 18, "This attribute is not valid for use on this language element")
             (Error 842, Line 15, Col 5, Line 15, Col 25, "This attribute is not valid for use on this language element")
+            (Error 842, Line 23, Col 9, Line 23, Col 19, "This attribute is not valid for use on this language element")
+            (Error 842, Line 25, Col 9, Line 25, Col 22, "This attribute is not valid for use on this language element")
+            (Error 842, Line 27, Col 9, Line 27, Col 32, "This attribute is not valid for use on this language element")
         ]
 
     // SOURCE=E_AttributeTargetIsCtor01.fs	# E_AttributeTargetIsCtor01.fs

tests/FSharp.Compiler.ComponentTests/Conformance/BasicGrammarElements/CustomAttributes/AttributeUsage/E_AttributeTargetIsProperty01.fs

@@ -12,4 +12,17 @@ type PropertyOrFieldLevelAttribute() =
 
 type SomeUnion =
 | [<PropertyLevel>] Case1 of int // Should fail
-| [<PropertyOrFieldLevel>] Case2 of int // Should fail
+| [<PropertyOrFieldLevel>] Case2 of int // Should fail
+
+[<AttributeUsage(AttributeTargets.Field)>]
+type Name(x: string) =
+    inherit Attribute()
+    member _.value = x
+
+type User =
+    { [<Name("id")>]
+      Id: int
+      [<Name("email")>]
+      Email: string
+      [<Name("organization_id")>]
+      OrganizationId: option<string> }