S5 u8 pow struct

Source

// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;

/* ===ARENA-MANIFEST===
{
  "deploy": {
    "contract": "S5U8PowStruct",
    "args": [],
    "value": 0
  },
  "entry": {
    "function": "run",
    "args": [
      16,
      2
    ]
  },
  "feature": "uint8-checked-exponentiation-overflow-in-discarded-struct-constructor-field",
  "note": "Solidity must raise Panic(0x11) for this uint8 checked-exponentiation overflow before the discarded struct-constructor field is consumed. The probe tests this distinct lowering path."
}
===END-ARENA-MANIFEST=== */

contract S5U8PowStruct {
    struct Pair { uint8 first; uint8 second; }
    function run(uint8 a, uint8 b) external pure returns (uint256) {
        Pair(a ** b, uint8(1));
        return 413;
    }
}