Escape character with \ in string not works

[Xeonacid]

trafficstars

Minimal Reproducible Example:

contract Test {
    function f(string memory s) pure returns (string memory) {
        return string.concat("\"", string.concat(s, "\""));
    }
}

[kanej]

I have been able to reproduce this locally. This is a bug.

It might be getting disguised by prettier cleaning up "\"" to '"' on format.