fix(cheatcodes): fix vm.expectRevert for direct precompile calls (#13460)

Precompile calls don't create an interpreter frame, so
`initialize_interp` never fires and `max_depth` never gets bumped
beyond the cheatcode call depth. This causes the depth check in
`handle_expect_revert` to fail with "call didn't revert at a lower
depth than cheatcode call depth".

Track `max_depth` in the `call` hook as well, accounting for the
callee depth (`curr_depth + 1`).


Amp-Thread-ID: https://ampcode.com/threads/T-019c63a2-2c36-7334-ab55-2931a174b59c

Co-authored-by: Amp <amp@ampcode.com>

Author: gakonst

crates/cheatcodes/src/inspector.rs

@@ -766,6 +766,13 @@ impl Cheatcodes {
             return None;
         }
 
+        // `expectRevert`: track max call depth. This is also done in `initialize_interp`, but
+        // precompile calls don't create an interpreter frame so we must also track it here.
+        // The callee executes at `curr_depth + 1`.
+        if let Some(expected) = &mut self.expected_revert {
+            expected.max_depth = max(curr_depth + 1, expected.max_depth);
+        }
+
         // Handle expected calls
 
         // Grab the different calldatas expected.

testdata/default/cheats/ExpectRevert.t.sol

@@ -413,6 +413,18 @@ contract ExpectRevertCountWithReverter is Test {
     }
 }
 
+contract ExpectRevertPrecompileTest is Test {
+    /// Test that vm.expectRevert works when the next external call targets a
+    /// precompile address directly. Precompile calls don't create an interpreter
+    /// frame (no `initialize_interp`), so depth tracking must account for them.
+    function testExpectRevertDirectPrecompileCall() public {
+        // BLAKE2F precompile (0x09) expects exactly 213 bytes of input.
+        // Calling it with invalid input reverts.
+        vm.expectRevert();
+        address(0x09).call(hex"00");
+    }
+}
+
 contract ExpectRevertWithErrorTest is Test {
     /// Ref: <https://github.com/foundry-rs/foundry/issues/12511>
     function test_f() external {