syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"\"Failed"}]}
source_snippet:                 "Failed to normalize {:?} in typing_env={:?}, \
context_before:             bug!(
context_after:                 maybe try to call `try_normalize_erasing_regions` instead",