syntax_data: {"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Panics if normalization fails. In case normalization might fail
context_before:     /// types.
context_after:     /// use `try_instantiate_and_normalize_erasing_regions` instead.