合同无效的程序保障

人民法院在审理双务合同纠纷过程中，如原告请求确认合同无效，但并未提出返还原物、赔偿损失、折价补偿等给付请求的，人民法院应当向其释明，告知其一并提出相应的给付请求。

原告请求确认合同无效并要求被告返还原物、赔偿损失或者折价补偿，被告基于合同也有给付行为的，人民法院也应向其释明，告知其可根据恢复原状原则提出反诉或者抗辩。即便被告未就合同无效的相应后果提出抗辩或者反诉，人民法院也可以依职权认定合同无效的相关事实以及法律后果，并在判项中就相互返还事宜作出裁判，明确可以适用同时履行抗辩权规则。

一审法院未予释明，二审法院认为应当对返还或者相互返还事宜作出判决的，可以直接释明并改判。如果返还范围确实难以确定或者双方争议较大的，也可以告知被告通过另行起诉等方式解决。