Unexpected behavior when static methods are used in an array

TypeScript Version: 4.2.0-dev.20201211 (also tested with 4.2.0)

Search Terms: static method(s)

Code

class S {
  static f(a: number|string): void {}
}

function g(a: number): void {}

// Uncomment to see a different behavior of the `output` const type.
// type G = typeof g;

const y = [S.f, g];
const output: ((ctrl: number|string) => void)[] = y;

Expected behavior:
Consistent type checking result (an error) for the output const with and without type G = typeof g.

Actual behavior:
If the type G = typeof g is present, the error is thrown (as expected), otherwise there is no error thrown.

Playground Link:
Playground link to reproduce the error.

// cc @alxhub @rkirov

Inizia con il TypeScript Playground collegato e l’esempio ridotto che usa S.f, g e l’assegnazione dell’output. Confronta il controllo dei tipi con e senza l’alias G, quindi verifica la correzione assicurandoti che entrambe le versioni segnalino sistematicamente l’errore previsto.