{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
        let predicates = self.db.generic_predicates(def);
    fn add_required_obligations_for_value_path(&mut self, def: GenericDefId, subst: &Substitution) {
        for predicate in predicates.iter() {