3 ms·
But these are only promised to be checked at runtime, even though the compiler can sometimes hint at things earlier.
by kqr 2y ago
But these are only promised to be checked at runtime, even though the compiler can sometimes hint at things earlier.
- docandrew 2y agoWith SPARK mode you can check them at compile-time with provers and elide the runtime checks. You can do _very_ sophisticated type predicates this way.