Declaration merging: remove function overloads?

Let's say one of the libs come with a function like this:

// library:
declare module 'example' {
    interface Animal { }
    export function sayHello(a: Animal);
}

I want to narrow down the type to just Dog. This is my module augmentation:

// app.ts
declare module 'example' {
    interface Dog extends Animal { }
    export function sayHello(a: Dog);
}

This merges the declarations to two function overloads:

sayHello(a: Dog);
sayHello(a: Animal);

I'd like to remove the generic Animal one to get stricter type checking of my code.

I couldn't find if this has been discussed before but I would find it useful quite often. Some examples would be:

• express headers (string by default, I'd use union of string literals)
• yargs args (I'd limit them to args specific to my app)

Inizia studiando gli esempi di declaration-merging e module-augmentation nell’issue, incluso il comportamento degli overload per express headers e yargs args. Il lavoro è completato quando esiste un modo supportato per rimuovere o restringere l’overload generico originale, con un controllo più rigoroso per il tipo aumentato.