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)

リンク先の TypeScript Playground を使って動作を再現し、提示された module-augmentation の例にある Wrong 型と Correct 型を比較してください。追加されたパラメーターにデフォルト値がある場合に、コンパイラーが異なるジェネリックパラメーターリストをどのように検査するかを追跡し、その後、報告された動作のカバレッジを追加して、オプションの追加パラメーターが一貫して拒否されるか推論されることを確認してください。