3 ms·
That is a concern, but this makes invariants something the compiler can reason about more easily, since they happen at function boundaries and are distinct from
by balfebs 4y ago
That is a concern, but this makes invariants something the compiler can reason about more easily, since they happen at function boundaries and are distinct from regular code, unlike “vanilla” assertions.