E3007

E3007 — If branch type mismatch

No example yet

No fixture in the test suite asserts this code, so there is no program here that is known to trigger it. That is a gap in our coverage rather than a statement about the code.

Contributing one is a good first change — add a fixture under tests/ with a CHECK line naming E3007, and this page picks it up.

Related