TS is overly picky when declaring a class constructor type

TypeScript Version: 3.4.0-dev.20190202

Search Terms: class, extend, constructor, any[]

Code

type ClassConstructor = new(...args: any[]) => {}

function mixin<C extends ClassConstructor>(Class: C) {
  return class extends Class {}
}

Expected behavior:

I should be able to replace ...args: any[] with ...args: unknown[], or any other signature.

Actual behavior:

Error: Type 'C' is not a constructor function type. [2507]

Playground Link: https://www.typescriptlang.org/play/index.html#src=type%20ClassConstructor%20%3D%20new(...args%3A%20unknown%5B%5D)%20%3D%3E%20%7B%7D%0D%0A%0D%0Afunction%20mixin%3CC%20extends%20ClassConstructor%3E(Class%3A%20C)%20%7B%0D%0A%20%20return%20class%20extends%20Class%20%7B%7D%0D%0A%7D

TypeScript Playground のリンクから始め、issue の ClassConstructor と mixin の例を使って診断を再現します。コンパイラーがジェネリックなコンストラクター型の拡張と診断 2507 をどのように処理するかを追跡します。コンストラクターが unknown[] または別の互換性のあるシグネチャを使用したときに例がコンパイルされ、この動作に対する適切なテストが追加されれば完了です。