{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"hidden_ty:"}]}
        hidden_ty: Ty<'tcx>,
        param_env: ty::ParamEnv<'tcx>,
        goals: &mut Vec<Goal<'tcx, ty::Predicate<'tcx>>>,