'Type is not assignable to type 2322

Why is the following raising : Type '(...args: T) => void' is not assignable to type 'Fn<T>'.(2322) :

type Fn<T extends unknown[]|unknown> = T extends unknown[] ? (...args: T)=>void : T

const func = <T extends unknown[]>()=>{
    // why does this error and how does one resolve it?
    // ideal Fn must handle cases outside of unknown[] including `any` and `unknown`
    const fn : Fn<T> = (...args: T)=> console.log(args)
    return fn
}

// some tests by me to try and understand what is going on:
type ValidFn1 = Fn<[value:number]>
type ValidFn2 = Fn<any>
type ValidFn3 = Fn<never>
type ValidFn4 = Fn<unknown>
type ValidFn5 = Fn<unknown[]>
type ValidFn6 = Fn<void>

const validFn1: ValidFn1 = (...args)=>console.log(args) // extends unknown[]
const validFn2: ValidFn2 = (...args:any)=>console.log(args) // any extends unknown[]
const validFn3: ValidFn3 = (...args:never)=>console.log(args) // never doesn't extend unknown[]
const validFn4: ValidFn4 = (...args:unknown)=>console.log(args) // unknown doesn't extend unknown[]
const validFn5: ValidFn5 = (...args:unknown[])=>console.log(args) // extends unknown[]
const validFn6: ValidFn6 = (...args:void)=>console.log(args) // void doesn't extend unknown[]

code



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source