﴿لهم فيها ما يشاءون خالدين كان على ربك وعدا مسئولا﴾: الجملة حال ثانية من ﴿جنة الخلد﴾، و﴿لهم﴾ جار ومجرور متعلقان بمحذوف خبر مقدم، وفيها جار ومجرور متعلقان بمحذوف حال، و﴿ما﴾ مبتدأ مؤخر، وجملة يشاءون صلة ﴿ما﴾ لا محل لها من الإعراب، وخالدين حال لازمة من فاعل يشاءون، وكان فعل ماض ناقص، واسمها مستتر يعود على الوعد المفهوم من قوله: ﴿وعد المتقون﴾، أو على ﴿ما يشاءون﴾، و﴿على ربك﴾ جار ومجرور متعلقان بمحذوف حال، لأنه كان صفة لـ﴿وعدًا﴾، ومسؤولًا صفة لـ﴿وعدًا﴾.