Internal error when inputting contents with #line and triple-slash /// comments. This makes we cannot repeatedly evaluating a block of script with /// comments using the FSI: send selection feature (pressing Alt + Enter ) of Ionide.

Repro steps
Repeating input this simplest code into the fsi:
# 1
/// comment
let abc = 0
;;
And you will get error FS0193: internal error: An item with the same key has already been added. Key: (2,0).
Expected behavior
No internal error will raise. Code can compile successfully.
Actual behavior
Internal error occurs.
Known workarounds
Don't include the /// comments when send contents to fsi.
Related information
- .NET 9.0.200
- Editing Tools: Microsoft (R) F# Interactive version F# 9.0 的 13.9.201.0