input logic [40-1:0] way_mask,
  ...
  logic [40-1:0] addr[32-1:0][2-1:0];
  ...
  always_ff @(posedge clk) begin
     if( match ) begin
        assert( (addr[id] & way_mask) == 0 ); // way is not set yet
        ...
     end
  end

env_top.sp:33732:12: error: invalid operands of types 'uint64_t [2] {aka long unsigned int [2]}' and 'uint64_t {aka long unsigned int}' to binary 'operator&'