Formatting code makes Interpolated verbatim strings to non-verbatim strings, which breaks the code

[DedSec256]

Issue created from fantomas-online

Code

let main _ =
    let oldId = 1
    let newId = 2
    printfn $@"Migrate notes of file ""{oldId}"" to new file ""{newId}""."
    0

Result

let main _ =
    let oldId = 1
    let newId = 2
    printfn $"Migrate notes of file "{oldId}" to new file "{newId}"."
    0

Options

Fantomas Master at 04/14/2021 13:41:07 - e164e23

Default Fantomas configuration

[nojaf]

Hey, thanks for reporting, at first glance I thought this combination is not possible, to begin with.
https://github.com/dotnet/fsharp/blob/6b1af129b798d0b3b7c296b27e8c2a5ad4f1dad8/src/fsharp/lexhelp.fs#L144-L152
The information is not present currently in the next FCS 40, so I'd like to see it added there as well.

I can fix this short term using the F# tokens but I feel like it should be added to the compiler properly.