syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Vec<Goal<Self::Interner,"}]}
source_snippet:         Vec<Goal<Self::Interner, <Self::Interner as Interner>::Predicate>>,
context_before:     ) -> Result<
context_after:         TypeError<Self::Interner>,