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