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