syntax_data: {"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"self.normalize_erasing_regions(typing_env,"}]}
source_snippet:             self.normalize_erasing_regions(typing_env, self.type_of(def_id).instantiate_identity());
context_before:         let static_ty =