public interface Foo { public abstract async void do_foo (); } public abstract class Bar : Foo { public abstract async void do_foo (); } void main () { }