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:

Start with the TypeScript reproduction in the issue body and run it with --strictBindCallApply enabled, focusing on the bind and call cases that combine fixed and rest arguments. The work is done when those cases type-check without errors while preserving the existing behavior of the first bind call.