The challenge of compiling for verified architectures

Posted Oct 8, 2023 7:06 UTC (Sun) by Cyberax (✭ supporter ✭, #52523)
In reply to: The challenge of compiling for verified architectures by ibukanov
Parent article: The challenge of compiling for verified architectures

> Checks at runtime can be bypassed via a speculation, checks in the verifier cannot.

Does that include new and fancy features like iterators?