syntax_data: {"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"self.collect_predicates_for_types("}]}
source_snippet:         self.collect_predicates_for_types(
context_before:         let cause = obligation.derived_cause(ObligationCauseCode::BuiltinDerived);
context_after:             obligation.param_env,