syntax_data: {"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"impl<I:"}]}
source_snippet: impl<I: Interner> DeepRejectCtxt<I, false, true> {
context_after:     /// Treat parameters in the lhs as rigid, and in rhs as infer vars.