{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"ty::ClosureKind::Fn"}]}
            ty::ClosureKind::Fn | ty::ClosureKind::FnMut => goal.predicate.alias.args.region_at(2),
        let env_region = match goal_kind {
            // Doesn't matter what this region is