{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
        let predicates_cause = obligation.cause.clone();
        obligations.extend(traits::predicates_for_generics(