Failure @3 (⟨1, 3⟩): unterminated string literal
Final stack:
 • `x
 • ":="
 • (Lean.Doc.Syntax.arg_str <missing>)

Remaining: "\"y"