{"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
            let obligation = fcx.resolve_vars_if_possible(obligation);
        for obligation in fcx.take_hir_typeck_potentially_region_dependent_goals() {
            if obligation.has_non_region_infer() {