trait T { fn foo(); }