contract-const-virtual-virtual.fail.tact

primitive Int;
trait BaseTrait { }

contract TestContract {
  virtual virtual const Foo: Int = 42;
}