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