257年、揚州の都督に復帰していた諸葛誕が司馬昭を討つため反乱を起こすと、呉への臣従を表明した諸葛誕の援軍要請を受けて、全端・全懌・唐咨とともに諸葛誕の援軍に赴いた。