syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"\"`{ty}`"}]}
source_snippet:                         "`{ty}` does not have a fixed maximum value, so half-open ranges are \
context_before:                     err.note(format!(
context_after:                          necessary to match exhaustively",