syntax_data: {"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"&mut"}]}
source_snippet:         &mut self,
context_before:     fn register_predicates(
context_after:         obligations: impl IntoIterator<Item: ty::Upcast<I, I::Predicate>>,