(خالدين فيها) حال من الضمير في لهم أي مقدار خلودهم فيها فإذا دخلوها.(وعد الله حقًا) هما مصدران الأول مؤكد لنفسه أي: وعد الله وعدًا، ١٠ / ٢٧٨