Compiler Bug when value_set is used in a parser select expression

[kfcripps]

Building the following P4 program:

#include <core.p4>

parser p(packet_in packet) {
    value_set<bit<16>>(1) vs;
    state start {
        transition select(vs) {
                1: state1;
                default: accept;
        }
    }
    state state1 {
        transition accept;
    }
}

parser simple(packet_in packet);
package top(simple e);
top(p()) main;

results in:

In file: ./frontends/p4/typeChecking/typeCheckExpr.cpp:2264
Compiler Bug: tmp6.p4(6): select{vs} {
  1: state1
  default: accept }: Expected a tuple type for the select expression, got <Type_Set>(1450)<tuple<bit<16>>>
        transition select(vs) {
                   ^
tmp6.p4(6)
        transition select(vs) {
                          ^^

It should result in an error message instead of Compiler Bug.