What is actually expressed in “had He willed, He would have guided you all”?

Qur’anic Ellipsis (Ḥadhf): Implied Words, Relationships and Rhetorical Brevity

• An explicitly stated specific object of shāʾa
• The consequence is entirely absent
• The consequence of guiding them
• A complete predicate of inna