contract-const-abstract-with-initializer.fail.tact

primitive Int;
trait BaseTrait { }

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