syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.seen_opaque_tys.remove(&def_id);"}]}
source_snippet:                 self.seen_opaque_tys.remove(&def_id);
context_before:             if self.check_recursion {
context_after:             }