Surprising `Not all code paths return a value`

TypeScript Version: 2.5.2

Code

type AsyncFunction<T> = () => Promise<T>;

const f: AsyncFunction<number | void> = async () => {
  if (Math.random()) {
    return 1;
  }
};

Expected behavior:

No tsc errors.

Actual behavior:

const f: AsyncFunction<number | void> = async () => {
//                                      ~~~~~~~~~~~~~ [ts] Not all code paths return a value.

  if (Math.random()) {
    return 1;
  }
};

Notably, when using return-type annotation, this error does not occur:

async function a(): Promise<number | void> {
  if (Math.random()) {
    return 1;
  }
}

const b = async (): Promise<number | void> => {
  if (Math.random()) {
    return 1;
  }
};

In our real-world scenario, it would not be sufficient to look for this syntactic pattern. Rather, the fact that the async function is assigned to a union containing void should be the trigger that silences this error.

Riproduci gli esempi di TypeScript 2.5.2 con tsc, confrontando la funzione freccia asincrona assegnata a AsyncFunction<number | void> con le funzioni annotate esplicitamente. Il lavoro è completato quando l’unione contenente void sopprime la diagnostica imprevista, mentre il compilatore continua a segnalare i percorsi di ritorno realmente incompleti.