Вообщем столкнулся случайно опечатавшись:

variant Foo [T]
{
    | A
    | B
}

module Program
{
  Main() : void
  {
      def foo = Foo.A;
  }
}

Забыл случайно скобочки

def foo = Foo.A();

и получил ICE. Исходники свежие из транка.