Compiler bug with ?: and int types

[apinski-cavium]

Take:

header ethernet_t {
    bit<48> dst_addr;
    bit<48> src_addr;
    bit<16> eth_type;
}
struct Headers {
    ethernet_t eth_hdr;
}

void f (inout Headers h) {
  h.eth_hdr = h.eth_hdr.eth_type == 1 ? {1, 1, 1} : {2, 2, 2};
}

This produces:

In file: /home/apinski/src/p4/p4c/frontends/p4/typeChecking/typeChecker.cpp:158
Compiler Bug: At this point in the compilation typechecking should not infer new types anymore, but it did.

This is a slightly modified version of testdata/p4_16_samples/issue2487.p4 where the tuple contains int types rather than the types of the header fields.

[apinski-cavium]

#2487