Expected single expr evaluation of index expression

[maurelian]

Version:

➜ pyrometer --version
cli 0.1.0

Issue

This line in our repo triggers an error.

Error: Unexpected type as array index
     ╭─[contracts/L1/L2OutputOracle.sol:296:16]
     │
 296 │         return l2Outputs[getL2OutputIndexAfter(_l2BlockNumber)];
     │                ────────────────────────┬───────────────────────
     │                                        ╰───────────────────────── Expected single expr evaluation of index expression, but was: (Single(NodeIndex(2871)), Multi([Single(NodeIndex(2864))])). This is a bug. Please report it at github.com/nascentxyz/pyrometer.

The command I'm using is:

cd packages/contracts-bedrock
pyrometer contracts/L1/L2OutputOracle.sol --remappings remappings.txt

Repro

A minimal test case is:

contract Test28 is Test {
  bytes32[] public arr;

  constructor() {
    arr.push(hex"1234");
    arr.push(hex"5678");
  }

  function getNum() public pure returns (uint256) {
    return 1;
  }

  function test_pyrobug() external returns (bytes32) {
    return arr[getNum()];
  }
}