{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
        let Some(impl_predicate_index) = obligation.impl_def_predicate_index else {
            self.tcx.predicates_of(obligation.impl_or_alias_def_id);
            // We don't have the index, so we can only guess.