Remova a propriedade `length` de um tipo que pode ser chamado

Você realmente não pode fazer isso. Todos os callables no TypeScript herdam do interface Function, que é definido na biblioteca TypeScript es5.d.tslength para ter uma propriedade numérica . Qualquer coisa que você fizer que resulte em um tipo que pode ser chamado terá essa lengthpropriedade presente.

A única maneira de mudar isso seria bifurcar o es5.d.ts localmente e removê-lo, mas isso provavelmente quebraria muitas coisas e seria difícil de manter. Provavelmente a abordagem "correta" seria criar uma regra de linter personalizada para que o uso da função lengthavise que pode ser um erro. No próprio TypeScript, porém, você não tem muitas opções.

Você não pode ampliar uma função para algo sem lengthe ainda assim chamá-la, mas pode restringir uma função para algo que lengthé estranho/inutilizável. A abordagem padrão é restringir ao tipo neverque é um subtipo universal e, portanto, você sempre pode restringir a ele:

type Foo<T> = (() => T) & { length: never };    
declare const f: Foo<string>;
f().length.toFixed(); // okay
f.length.toFixed(); // error

Mas isso não o impedirá de verificar f.lengtha veracidade, já que até neveré permitido lá. O TypeScript reclama muito pouco quando se trata de verificações de veracidade; na verdade, a única coisa que encontrei foi quando você verifica uma função, mas não a chama. Portanto, podemos fazer a loucura de dizer ao TypeScript que a lengthpropriedade é ambas number e alguma função:

type Foo<T> = (() => T) & { length(x: never): never };
declare const f: Foo<string>;
f().length.toFixed(); // okay
f.length.toFixed(); // error
if (f.length) { // error but for a crazy reason
    console.log(1)
}

Mas isso é realmente uma mentira vil; o erro diz que você pretendia ligar f.length e, de fato, você pode fazer isso (embora eu tenha dificultado ao fornecer um neverparâmetro):

f.length(null!) // no error, what?

Então, eu diria que esse não é realmente o tipo de coisa que o TypeScript pode fazer por você.

Link do Playground para o código