Module augmentation allows non-identical type parameters as long as there are defaults, but doesn't pass them

Bug Report

🔎 Search Terms

• module augmentation
• callback generic type

🕗 Version & Regression Information

Currently using typescript 5.1.6, but AFAIK this behavior was the same in previous versions. This also occurs on the Nightly.

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about generics (and the rest of the FAQ)

⏯ Playground Link

Playground link with relevant code

💻 Code

interface Chainable<Subject = any> {
    within(fn: (prevSubject: Subject) => Chainable<Subject>): Chainable<Subject>;
}

interface Chainable<Subject = any, ExtraType = undefined> {
    within(fn: (prevSubject: Subject, extra: ExtraType) => Chainable<Subject>): Chainable<Subject, ExtraType>;
}

interface ChainableLike<Subject = any, ExtraType = undefined> {
    within(fn: (prevSubject: Subject) => Chainable<Subject>): Chainable<Subject>;
    within(fn: (prevSubject: Subject, extra: ExtraType) => Chainable<Subject>): Chainable<Subject, ExtraType>;
}

type ChainableWithSecondType = Chainable<string, string>;
type Wrong = ChainableWithSecondType['within'];
type Correct = ChainableLike<string, string>['within'];

🙁 Actual behavior

If you omit the default on the added generic ExtraType, you get an error: All declarations of 'Chainable' must have identical type parameters. But when there's a default, it allows the type parameters to be different, but doesn't properly infer types.

Typescript does not produce any errors, but when you mouseover Wrong, it shows the type of extra to be ExtraType.

🙂 Expected behavior

Either TS should completely ban adding an optional extra type parameter, or it should properly infer type (i.e. mousing over Wrong should produce the same as mousing over Correct)

Riproduci il comportamento utilizzando il TypeScript Playground collegato e confronta i tipi Wrong e Correct nell’esempio fornito di module augmentation. Traccia il modo in cui il compilatore verifica elenchi di parametri generici diversi quando i parametri aggiunti hanno valori predefiniti, quindi aggiungi la copertura per il comportamento segnalato e verifica che i parametri aggiuntivi opzionali vengano rifiutati o inferiti in modo coerente.