contract-const-abstract-abstract.tact

primitive Int;
trait BaseTrait { }

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