TypeScript 5.7.3 emits one TS2542 for the readonly write in the following strict program; Home additionally emits two incorrect TS2413 diagnostics at the interface declarations.
interface Alpha<T> { make(): Beta<T> }
interface Beta<T> extends Alpha<T>, MixedBase<T> {}
interface MixedBase<T> { readonly [key: string]: T | (() => Beta<T>); [index: number]: T }
declare const alpha: Alpha<number>;
const beta = alpha.make();
beta["new"] = 2;
beta[0] = 2;
beta["0"] = 2;TypeScript: TS2542 at line 6 only. Home after 9c0b6e2: TS2413 at lines 2 and 3, plus the expected TS2542 at line 6. The number index value T is assignable to the string index union T | (() => Beta<t>); recursion and forward declaration must not turn this into a false incompatibility. The numeric writes remain legal.
Reproduce from packages/ts_cli/testdata/issue846-mixed-index with --strict --noEmit --pretty false; Home also needs --ignoreConfig for the single-file run. This is distinct from #951: domain-specific readonly metadata now survives generic refresh, but the assignability relation still reports TS2413. Do not suppress TS2413 globally; establish a negative incompatible-index control and fix the underlying relation.