tree 512a92e722376a656a37efef3fd814fa02aa7f57
parent 0b9fae54149dfd5e78399ded743ae46afd4ef70b
author Paul Berry <paulberry@google.com> 1632754843 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1632754843 +0000

In message codegen, use json.encode to format strings.

This is more robust than just encoding the string in `r"..."` because
it allows for error messages that contain double quotes.

Change-Id: I90f698f06a8f197ad46e4bcef54deff34c23776b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/214661
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>