syntax_data: {"ast_node_type":"function","tokens":[{"end":95,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn register_goals(&mut self, obligations: impl IntoIterator<Item = Goal<I, I::Predicate>>);
context_before:     /// Register obligations that must hold in order for this relation to hold