Description of the bug:
The code examples in proposals/p001964-character-literals.md#types contain smart quotes around some of the character literals. Given that these are the examples that define our character literal syntax, and will be copy-pasted (or potentially read by coding agents) that seems bad.
Link to documentation:
https://docs.carbon-lang.dev/proposals/p001964-character-literals.html#types
What should it say instead?
Regular ASCII single-quotes should be used to delimit character literals.
Any other information, logs, or outputs that you want to share?
Might be worth checking the rest of our documentation for similar issues.
Description of the bug:
The code examples in proposals/p001964-character-literals.md#types contain smart quotes around some of the character literals. Given that these are the examples that define our character literal syntax, and will be copy-pasted (or potentially read by coding agents) that seems bad.
Link to documentation:
https://docs.carbon-lang.dev/proposals/p001964-character-literals.html#types
What should it say instead?
Regular ASCII single-quotes should be used to delimit character literals.
Any other information, logs, or outputs that you want to share?
Might be worth checking the rest of our documentation for similar issues.