syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // In that case, we may only realize a cycle error when calling
context_before:             // are recursive (given some generic parameters of the opaque's type variables).
context_after:             // `normalize_erasing_regions` in mono.