Problem with ConstructorParameters when it's use in callable parameter

[swojdyga]

Bug Report

🔎 Search Terms

ConstructorParameters Target requires 1 element(s) but source may have fewer.

🕗 Version & Regression Information

4.5.4
newest - 4.7.0-dev.20220305

⏯ Playground Link

https://www.typescriptlang.org/play#code/GYVwdgxgLglg9mABAJwKYGc4BsBuqA8A0gDSIAqiqAHlKmACbqJioDuiAFAHQ8CGyAc3QAuRLzABPANoBdAJSIAvAD5EhZRwCwAKER7EEBOijIQ0OMlFliO-QaMmzUCwAV+vALboAwryxZeACMsVFEOBRVEbwdTc2Q3ZE9UWmR0fDJlG205UUJEAG9bfTQoEGQkfIBfMSZCAG4dSp1m7QgA9CYAZTgPVG92pkLdfQAHEGCYCHswY1jnZC1huz0R5BgcXloUVF56BCwJRExegBFUEbp6OggJUVmYMAEsuwUhor0m7U+dNExcVA43V6-V4HVI4SUqikACIABKofxwRAAdQsWHoAEJofI6kA

💻 Code

function resolve<K, T extends new (...args: any[]) => K>(
    constructor: T,
    constructorParamsCallable: () => ConstructorParameters<T>,
): K {
    return {} as K;
}


class SomeClass {
    public constructor(
        private readonly someDependency: string,
    ) {

    }
}

resolve(SomeClass, () => ["Hello World!"]);

🙁 Actual behavior

Error "Target requires 1 element(s) but source may have fewer.".

🙂 Expected behavior

I think it just should working like it working, when ConstructorParameters is without callable method -> https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABAJwKYGc4BsBuqA8A0gDSIAqiqAHlKmACbqJioDuiAFAHQ8CGyAc3QAuRLzABPANoBdAJSIAvAD5EhZRwCwAKER7EEBOijIQ0OMlFliO-QaMmzUCwAV+vALboAwryxZeACMsVFFvB1NzZDdkT1RaZHR8MmUbbTlRQkQAb1t9NCgQZCRsgF8xJkIAbh1SnXrtCAD0JgBlOA9Ub2amXN19AAcQYJgIezBjSOdkLX67PQHkGBxeWhRUXnoELAlETE6AEVQBuno6CAlRSZgwATS7BT68vTrtV500TFxUDnbO7t4LVIUgARAAJVD+OCIADqFiw9AAhCD5FUgA

[Gerrit0]

Workaround, also getting rid of the unnecessary type parameter:

function resolve<T extends new (...args: any[]) => any>(
    constructor: T,
    constructorParamsCallable: () => [...ConstructorParameters<T>],
): InstanceType<T> {
    return null!;
}

[swojdyga]

I knew that workaround, but in this case there is another problem when dependency is a method with parameter:

https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABAJwKYGc4BsBuqA8AKoqgB5SpgAm6iYqA7ogBQB07AhsgOboBciDmACeAbQC6ASkQBeAHyCRc5gFgAUIk2IICdFGQhocZAMIAadVu279hqMYAKXDgFt0AYQ5YsHAEZZUAWZpeURRdlZ3GwMjZCdkV1QKZHQiOXELNUkBAEkwPSEIVEJhAAcCQgUAb0stNCgQZCQwEG8AQgBudQBfdT61CB90WgBlOBdUdyHaGo0tUpB-GAhrfNtY1TmrTVLkGBwOChRUDioELGFETAmAEVRy6koIYSCOAT09sG4QhV84bBOYEy23mewORzQp3Ol2uqDuDyoT2EACYgr4BC0XL5UMgfog-gChMCtNJZrVNL01JT1GhMLhUMwxhMphxhmYWHjROSWBw8cAvOhUMTNMxfHjbEL1FIOkA

Parameter 'a' implicitly has an 'any' type.
Parameter 'b' implicitly has an 'any' type.