carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
http://docs.carbon-lang.dev/
Other
32.38k stars 1.48k forks source link

Include the arguments for a generic class or interface in diagnostics. #4511

Closed zygoloid closed 2 weeks ago

zygoloid commented 2 weeks ago

This can lead to us trying and failing to print certain kinds of constant value, but we can fix that in future changes.

Note that StringifyType should probably be substantially refactored. For this change I'm trying to leave the overall structure relatively intact, but hopefully this additional formatting support will help guide future refactorings.