اگر فردی در حالت جنابت فوت کند، وظیفه چیست؟

اگر فردی فرصت غسل جنابت نداشته باشد و فوت کند، در هنگام غسل ميّت، افرادى كه می‌دانند که این فرد غسل جنابت انجام نداده است، بايد به غسّال اطلاع دهند يا نه؟