E4004
E4004 — Cannot borrow (already mutably borrowed)
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 E4004, and this page picks it up.