فتح البيان في مقاصد القرآن

(خالدين فيها) حال من الضمير في لهم أي مقدار خلودهم فيها فإذا دخلوها.

(وعد الله حقاً) هما مصدران الأول مؤكد لنفسه أي: وعد الله وعداً،