Incorrect comment prefix used when copy-pasting

[Pante]

dart info output:

#### General info

- Dart 3.1.2 (stable) (Tue Sep 12 16:26:23 2023 +0000) on "windows_x64"
- on windows / "Windows 10 Home" 10.0 (Build 22621)
- locale is en-SG

#### Process info

| Memory | CPU | Elapsed time | Command line |
| -----: | --: | -----------: | ------------ |
| 123 MB |  -- |              | dart.exe     |
| 411 MB |  -- |              | dart.exe     |
|  87 MB |  -- |              | dart.exe     |
| 401 MB |  -- |              | dart.exe     |
|  77 MB |  -- |              | dart.exe     |

I'm unsure if this is an issue with Dart analysis or Dart's IntelliJ plugin.

At the moment, pasting strings that spans across multiple lines in a doc comment yields the incorrect comment prefix (// instead of ///).

Suppose I want to paste a code snippet in:

The following is expected:

However, it produces the following:

This is quite annoying since it makes pasting examples in the documentation tedious.

[lrhn]

It could be IntelliJ itself.
When I paste in VSCode with the Dart plugin, I get no leading comments added at all. I don't think the analysis/language server is involved in the pasting at all.