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

primitive Int;

trait BaseTrait {}

trait Foo {
    f: Int;
}

trait SomeTrait with Foo {
    f: Int as int257;
}