-
Notifications
You must be signed in to change notification settings - Fork 830
Closed
Labels
Area-Diagnosticsmistakes and possible improvements to diagnosticsmistakes and possible improvements to diagnosticsBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Milestone
Description
If a["b";"c"]
produces FS3365
, I would expect a.b["c";"d"]
to do so as well.
Code snippet:
#r "nuget: Thoth.Json.Net, 11.0.0"
open System.IO
open Thoth.Json.Net
let d : Decoder<int> =
Decode.object (fun get ->
get.Required.At["Foo";"Bar"] Decode.int |> ignore
let at = get.Required.At
at["Foo";"Bar"] Decode.int |> ignore
8
)
Expected behaviour
get.Required.At["Foo";"Bar"]
also produces FS3365
.
Actual behaviour
No warning was emitted.
Known workarounds
/
Related information
Provide any related information (optional):
SDK: 8.0.100-preview.7.23376.3
Discovered by fsprojects/fantomas#2955
Metadata
Metadata
Assignees
Labels
Area-Diagnosticsmistakes and possible improvements to diagnosticsmistakes and possible improvements to diagnosticsBugImpact-Low(Internal MS Team use only) Describes an issue with limited impact on existing code.(Internal MS Team use only) Describes an issue with limited impact on existing code.
Type
Projects
Status
Done