IrVerifier

public static class IrVerifier

Checks that a module is internally consistent before a backend ever sees it: values are defined once and only used where they are in scope, types line up on every instruction, access chains are well formed, and control flow is sane. A backend can then assume the IR is valid instead of re-checking it.

No guide page documents this yet — the page shows what the code says about itself.