{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
        let mut seen_preds = FxHashSet::default();
    fn point_at_index(&self, errors: &mut Vec<traits::FulfillmentError<'tcx>>, span: Span) {
        // We re-sort here so that the outer most root obligations comes first, as we have the