A contextually-typed signature coming from correlated union can't be assigned back to source of its contextual type

Chưa có ai nhận issue này.

### 🔎 Search Terms

correlated union signature union map mapped type index

### 🕗 Version & Regression Information

- This is the behavior in every version I tried

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.9.0-dev.20250508#code/C4TwDgpgBAIhBmBLAdo4iD2yDOUC8UA3gFBRRYBiGGAXFANoCGATgOZ3ICuAtgEYTMAugG5S5ZACEWdJmzrZgzFKxHEAvqOKhIUAMoZuEAMKMANqd6MAxgGtcBEmXoBpKCig2IIDPFgIUaJg4gnQAFAB0kSys2HRwSKjoWNguggCU+AB8UABuGIgAJqIaxMRWycBQAO7MjGAm5pa2+FAAPK4QAB7AEMgFuJ7evvqGDRbWdpmhYtgYnMxWEHQjxmbjttgANGLA0RDAywarjRNbYoN0ztsZeNmOUOU4lVZrTTYts-OL9IOqO3vAH5eQQtCJRNjYG53MRkRC+UIAWUYwAAFuFan0DKEMtkAAzhACsGXuZDIzH282QD1eEzB4WikNEpKgajEJRKxHgnGQViSVJqdQAguZQi8ThtDqMaRs0pLjus7EQxI8FNVamBIAUWoQ1FBGLgVmM3tgmVB4BhmFBQqZ9h4vG4qWKFZClcyBfVpTZRZ6tmq6prNnaQHqBl4fHojkbTmlTayyRTmPz1ZrisQgA

### 💻 Code

```ts
type Definitions = {
onFoo: [arg: number];
onBar: [arg: string];
};

type SomeCallbacks = {
[K in keyof Definitions]: (...args: Definitions[K]) => void;
};

const wrapCallback = (
source: SomeCallbacks,
target: SomeCallbacks,
key: K,
) => {
const callback = source[key];

target[key] = (...args) => {
if (Math.random() > 0.5) {
return callback(...args);
}
};
};

function wrapAll(callbacks: SomeCallbacks): SomeCallbacks {
const wrapped = {} as SomeCallbacks;
for (let key in callbacks) {
wrapCallback(callbacks, wrapped, key as keyof SomeCallbacks);
}
return wrapped;
}
```

### 🙁 Actual behavior

It fails to recognize that this function is assignable to `target[key]` despite the fact that `args` are contextually-typed by that `target[key]`

### 🙂 Expected behavior

I'd expect this to typecheck just fine

### Additional information about the issue

_No response_

Bắt đầu bằng cách tái hiện lỗi trong TypeScript Playground được liên kết, sử dụng ví dụ correlated-union và mapped-type đã cung cấp. Theo dõi đường đi của việc kiểm tra kiểu đối với callback được suy ra kiểu theo ngữ cảnh và phép gán của nó vào target[key]; công việc được xem là hoàn tất khi ví dụ được kiểm tra kiểu như mong đợi mà không làm yếu các quan hệ kiểu được báo cáo.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.