`as const` breaks intra expression inference

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

### 🔎 Search Terms

const context expression assertion inference type parameter

### 🕗 Version & Regression Information

- This is the behavior in every version I tried

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ts=6.0.0-dev.20250806#code/CYUwxgNghgTiAEAzArgOzAFwJYHtXwxAGcMAeAFQBp4ARAPgApYBzALngG8AoeeLVAA7IM7GgG4e8ATBzBkYEOyYw2tAJTwAvHXjkJvMHiLIAtovjLV5DdvipTAIxAwJAXzWiJXQ6hLwHMgDWIPiaBMQYDNy8-EIi8ACMAAxJlJLSsvLmljY6LAB0GDgAyhgw-MwMamkGRqbZLLnwBRAhzBgAFmmuzUTwPiRqXgMY8ADuODCBFVrhJFGSscLsyanpMnIKSo1aeSqFJWUVVTX9dWbbKk0tbZ3dQ1xAA

### 💻 Code

```ts
declare function test(arg: {
input: D;
produce: (arg: D) => T;
consume: (arg: T) => number;
}): D;

const broken = test({
input: 100,
produce: (arg) => arg.toString(), // 'arg' is of type 'unknown'.(18046)
consume: (arg) => arg.length,
} as const);

const working = test({
input: 100,
produce: (arg) => arg.toString(), // `arg` inferred as `number`
consume: (arg) => arg.length,
});
```

### 🙁 Actual behavior

`as const` is the only difference between those two and its presence breaks assigned parameter type in `produce`

### 🙂 Expected behavior

I think `as const` should not impact inference this way and both should be inferred just OK. It's just that the `broken` case should infer `100` instead of `number` for the `D` type parameter

### Additional information about the issue

_No response_

Bắt đầu với TypeScript Playground được liên kết và so sánh các ví dụ `broken` và `working`, sau đó theo dõi cách assertion `as const` ảnh hưởng đến contextual typing và suy luận kiểu cho `produce`. Được xem là hoàn tất khi trong trường hợp có assertion, tham số callback được suy luận mà không có `unknown` và vẫn giữ được suy luận literal `100` như mong đợi cho `D`.

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