dotnet fsi fails with FS0239: An implementation of the file or module 'SOME MODULE NAME FSI GENERATES' has already been given" when switching from fsi.exe(.net framework) to dotnet fsi

[smoothdeveloper]

I'm updating FSharp.Data.SqlClient repository from SDK 2.1.402 to 7.0.400.

In the build script, there is a call to dotnet fsi (in GenerateDocs target of build.fs in fsprojects/FSharp.Data.SqlClient#435) that I notice fails with

error FS0239: An implementation of the file or module 'FSI_0002_FSharp.Formatting$fsx' has already been given

The same works fine in master which uses .net framework version of FSI (from VS 2017 IIUC).

I'm wondering if:

• for sake of having people facing this when they try to move scripts from one runtime to the other (assuming we want people migrating away from .net framework version of FSI over time)
• and in case there is a known solution we could implement in FSI

If this is worth putting under non regression test and fixing?

Related: fsharp/fsharp#838