Repro steps
Provide the steps required to reproduce the problem:
Relevant comment: #11868 (comment)
open System
type JsonSerializerOptions() =
[<Obsolete("This is bad")>]
member val DefaultOptions = false with get, set
member val UseCustomOptions = false with get, set
member this.With() = this
let options = JsonSerializerOptions()
let options2 =
options
.With(DefaultOptions = true)
.With(UseCustomOptions = false)
Expected behavior
(Warning 44, Line 14, Col 77, Line 14, Col 91, "This construct is deprecated. This is bad")
Actual behavior
No warning /error