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