syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// not assume that normalization succeeds.
context_before:     /// types. Contrary to `instantiate_and_normalize_erasing_regions` this does
context_after:     #[instrument(level = "debug", skip(self))]