Здравствуйте, vaa,

Синхронный:

Task Do() {}

Соответствует асинхронному:

async Task<Task> Do() {}

И он тоже не скомпилируется...

А вот асинхронный:

async Task Do() {}

Соответствует синхронному:

void Do() {}

И они оба одинаково законно компилируются.