syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"impl<I:"}]}
source_snippet: impl<I: Interner> TypeVisitor<I> for HasTypeFlagsVisitor {
context_before: // specifically detect this case in `visit_binder`.
context_after:     type Result = ControlFlow<FoundFlags>;