@@ -45,6 +45,17 @@ impl Opcode {
     pub const fn is_block_push(&self) -> bool {
         false
     }
+
+    /// Stack effect when the instruction takes its branch (jump=true).
+    ///
+    /// CPython equivalent: `stack_effect(opcode, oparg, jump=True)`.
+    /// For most instructions this equals the fallthrough effect.
+    /// Override for instructions where branch and fallthrough differ
+    /// (e.g. [`Self::ForIter`]: fallthrough = +1, branch = −1).
+    #[must_use]
+    pub fn stack_effect_jump(&self, oparg: u32) -> i32 {
+        self.stack_effect(oparg)
+    }
 }
 
 impl PseudoOpcode {
@@ -60,6 +71,22 @@ impl PseudoOpcode {
             Self::SetupCleanup | Self::SetupFinally | Self::SetupWith
         )
     }
+
+    /// Handler entry effect for SETUP_* pseudo ops.
+    ///
+    /// Fallthrough effect is 0 (NOPs), but when the branch is taken the
+    /// handler block starts with extra values on the stack:
+    ///   SETUP_FINALLY:  +1  (exc)
+    ///   SETUP_CLEANUP:  +2  (lasti + exc)
+    ///   SETUP_WITH:     +1  (pops __enter__ result, pushes lasti + exc)
+    #[must_use]
+    pub fn stack_effect_jump(&self, oparg: u32) -> i32 {
+        match self {
+            Self::SetupFinally | Self::SetupWith => 1,
+            Self::SetupCleanup => 2,
+            _ => self.stack_effect(oparg),
+        }
+    }
 }
 
 impl Instruction {
@@ -91,15 +118,9 @@ impl Instruction {
         self.as_opcode().deoptimize().as_instruction()
     }
 
-    /// Stack effect when the instruction takes its branch (jump=true).
-    ///
-    /// CPython equivalent: `stack_effect(opcode, oparg, jump=True)`.
-    /// For most instructions this equals the fallthrough effect.
-    /// Override for instructions where branch and fallthrough differ
-    /// (e.g. [`Self::ForIter`]: fallthrough = +1, branch = −1).
     #[must_use]
     pub fn stack_effect_jump(&self, oparg: u32) -> i32 {
-        self.stack_effect(oparg)
+        self.as_opcode().stack_effect(oparg)
     }
 }
 
@@ -126,20 +147,9 @@ impl PseudoInstruction {
         false
     }
 
-    /// Handler entry effect for SETUP_* pseudo ops.
-    ///
-    /// Fallthrough effect is 0 (NOPs), but when the branch is taken the
-    /// handler block starts with extra values on the stack:
-    ///   SETUP_FINALLY:  +1  (exc)
-    ///   SETUP_CLEANUP:  +2  (lasti + exc)
-    ///   SETUP_WITH:     +1  (pops __enter__ result, pushes lasti + exc)
     #[must_use]
     pub fn stack_effect_jump(&self, oparg: u32) -> i32 {
-        match self.as_opcode() {
-            PseudoOpcode::SetupFinally | PseudoOpcode::SetupWith => 1,
-            PseudoOpcode::SetupCleanup => 2,
-            _ => self.stack_effect(oparg),
-        }
+        self.as_opcode().stack_effect_jump(oparg)
     }
 }
 
@@ -457,6 +467,16 @@ impl AnyOpcode {
     pub const fn is_block_push(&self) -> bool
     );
 
+    either_real_pseudo!(
+    #[must_use]
+    pub fn stack_effect_jump(&self, oparg: u32) -> i32
+    );
+
+    either_real_pseudo!(
+    #[must_use]
+    pub fn stack_effect(&self, oparg: u32) -> i32
+    );
+
     #[must_use]
     pub const fn deopt(&self) -> Option<Self> {
         match self {
 
@@ -112,7 +112,7 @@ mod _opcode {
     #[pyfunction]
     fn has_name(opcode: i32) -> bool {
         try_from_i32(opcode)
-            .map(|op| &&op.has_name())
+            .map(|op| op.has_name())
             .unwrap_or(false)
     }
Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ mod _opcode {`
`112`	`112`	`#[pyfunction]`
`113`	`113`	`fn has_name(opcode: i32) -> bool {`
`114`	`114`	`try_from_i32(opcode)`
`115`		`- .map(\|op\| &&op.has_name())`
	`115`	`+ .map(\|op\| op.has_name())`
`116`	`116`	`.unwrap_or(false)`
`117`	`117`	`}`
`118`	`118`