Cannot mix both fixed and rest arguments using '.call' when using '--strictBindCallApply'

TypeScript Version: 3.9.0-dev.20200328

Search Terms: strict call rest arguments

Code

class C {
    use<A extends any[]>(fn: (this: this, obj: this, ...args: A) => void, ...args: A) {
        fn.bind(this, this)(...args); // ok
        fn.bind(this)(this, ...args); // error
        fn.call(this, this, ...args); // error
    }
}

Expected behavior:

The 2nd and 3rd cases above should be ok

Actual behavior:

The 2nd and 3rd cases above report errors.

Playground Link: Playground

Related Issues:

Commencez par la reproduction TypeScript dans le corps de l’issue et exécutez-la avec --strictBindCallApply activé, en vous concentrant sur les cas de bind et de call qui combinent des arguments fixes et rest. Le travail est terminé lorsque ces cas sont vérifiés par le système de types sans erreur, tout en préservant le comportement existant du premier appel à bind.