{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"let"}]}
        let env_region = match goal_kind {
            ty::ClosureKind::Fn | ty::ClosureKind::FnMut => goal.predicate.alias.args.region_at(2),