syntax_data: {"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"impl<I:"}]}
source_snippet: impl<I: Interner> Elaboratable<I> for ClauseWithSupertraitSpan<I> {
context_before: }
context_after:     fn predicate(&self) -> <I as Interner>::Predicate {