Extend DefaultValueAttribute to use AttributeTargets.Property

dotnet · May 22, 2024 · 5131943 · 5131943
1 parent 670972a
commit 5131943
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/FSharp.Core/prim-types.fs b/src/FSharp.Core/prim-types.fs
@@ -110,7 +110,7 @@ namespace Microsoft.FSharp.Core
  inherit Attribute()
  member _.Value = value
 
- [<AttributeUsage (AttributeTargets.Field ||| AttributeTargets.Method, AllowMultiple=false)>] 
+ [<AttributeUsage (AttributeTargets.Field ||| AttributeTargets.Method ||| AttributeTargets.Property, AllowMultiple=false)>] 
  [<Sealed>]
  type DefaultValueAttribute(check:bool) = 
  inherit Attribute()