{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"nested_goals:"}]}
        nested_goals: &'cx mut Vec<Goal<'tcx, ty::Predicate<'tcx>>>,
        should_normalize: bool,
    ) -> Resolver<'cx, 'tcx> {