'"' in comments confuses comment recognition

[jfehrle]

plugin version: 0.124-2023.1

Description

The third line should be highlighted as code, not as part of a comment. Looks like the comment recognizer doesn't handle this case.

let _ = '"' in
(* '"' *)
let _ = '"' in
(* '"' *)