Compiler bug with don'tcare type argument and table

[apinski-cavium]

Take this obvious invalid code:

action NoAction(){}

extern void f<T>(in T a);
control eq0()
{
  table t {
    const size = 100;
    actions = {NoAction;}
  }
  apply {
    f<_>(t);
  }
}

The compiler produces:

In file: /home/apinski/src/p4/p4c/frontends/p4/typeChecking/typeChecker.cpp:189
Compiler Bug: Could not find type of t

[apinski-cavium]

This code is accepted but I think it is invalid too:

action NoAction(){}

extern f<T>
{
  f();
  void g(in T a);
}
control eq0(f<_> tt)
{
  table t {
    const size = 100;
    actions = {NoAction;}
  }
  apply {
    tt.g(t);
  }
}