pub typedef i27 {}; pub define trait { do_something(=> i27); }