OverrideProperties and Merge don't retain callable aspect of type

[TomerAberbach]

Bug description

See the playground

Repro

https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBDAnmApnA3nA8gNxVKYAExQAUoJVZgUBnAGjgFl8BzNAXzgDMKQ4A5ElQBabnRgCAsAChZwtAGEAhgBtVygEaqUAdWAwAFuUr4kcALwZZASAAUASgBccHBGK2wFKkhcA7AFcQTXxZDll5ZDRcfEIiEj9LbDwCYjJvMxpaAB4VdS0dfSMTH0RGTC9TWEQXWhhCP1Y4DgA+WTgOuAB6LrgAPQB+WRIAYw0oNBGIPzq4CBS4hJcY1PiUP1keuABlQwgA1SI4ELgRtQ1tFEZNAPhWCHhlRNjoWXnY4gTHCJkFZjYUEcrCwoOxcucCnoDMYMtVynBKqUAEy1erARrNNoyTrdXqDYYoMbKCanaazEAAoguEHsIibXq7faHY6TCGXa63OD3R7PAivGQU0GA74yIA

Upvote & Fund

• We're using Polar.sh so you can upvote and help fund this issue.
• The funding will be given to active contributors.
• Thank you in advance for helping prioritize & fund our backlog.

[TomerAberbach]

Was playing around with using this trick to retain the callable type, but it doesn't retain generic type parameters if the function is generic

[sindresorhus]

// @nidomiro @jinta4020

[TomerAberbach]

I think this is the most related TypeScript comment/issue

microsoft/TypeScript#53760 (comment)

[nidomiro]

This is a really tricky one. I'm not sure if we can do anything here right now.
Even Omit itself will remove the callable aspect of the type: https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBDAnmApnA3nA8gNxVKYAExQAUoJVZgUBnAGjgFl8BzNAXzgDMKQ4A5ElQBabnRgCAsAChZwtAGEAhgBtVygEaqUAdWAwAFuUr4kcALwZZASAAUASgBccHBGK2wFKkhcA7AFcQTXxZDnlkNCwQAxgUIktsGJgAHhV1LR19IxMfREYBL1NYRAEAPlk4KrgAehq4AD0AflkSAGMNKDQ2iD9aeAhkuKIXaNj42Tq4AGVDCADVBJC4NrUNbRRGTQD4Vgh4ZT84fAooWUHxokdZIA

Maybe you can work around this one, with something like this:

import type { OverrideProperties, Merge } from 'type-fest'

type MyCallable = {
	(): void
}

type CallableWithProperty = MyCallable & {
	property: number
}

type Overridden = OverrideProperties<CallableWithProperty, { property: string }> & MyCallable
declare const overridden: Overridden
overridden()

type Merged = Merge<CallableWithProperty, { property2: string }> & MyCallable
declare const merged: Merged
merged()

(https://www.typescriptlang.org/play/?#code/JYWwDg9gTgLgBDAnmApnA3nA8gNxVKYAExQAUoJVZgUBnAGjgFl8BzNAXzgDMKQ4A5ElQBabnRgCAsAChZwtE0QBhAIYAbdaoBG6tAF4MsgJAAKAJQAuODgjFZHWfORo1mnXoDqwGAAtylPhIcIZKblq6aABkRjLGYBRUSNYAdgCuINr4Dk4yCth4BMQkKSEF+IQkAUk0tAA84R4o3n7VQYiMmAmBsIjWtDCEKaxwHAB8cDFhGhF6snALcAD0S3AAegD8siQAxlpQaDsQKQNwEIWVJda4FcUoKbLnt0QlFrn5LFDsRGWf7A0zJotfyJdqdODdJKIABM-UGwGGowmUxUgMi80WK3WWxku32h2OpxAbBQRGsf1JsmJX1JbxkQA)