trait-with-as-typed-int257-field-with-inheritance-without-typed-field.tact

primitive Int;

trait BaseTrait {}

trait Foo {
    f: Int as int257;
}

trait SomeTrait with Foo {
    f: Int;
}