Branded literal type widened in unexpected way

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

### 🔎 Search Terms

literal intersection branded string

### 🕗 Version & Regression Information

- This is the behavior in every version I tried, and I reviewed the FAQ for entries about branded strings/literal intersections.

### ⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.7.3#code/CYUwxgNghgTiAEYD2A7AzgF3hgngBxAGkQcAueAVxQEsBHChNHAWwCMkIBuAKG9wPgAVfCACSAEQA8wgQF5KKANYokAdxQAaeBPggAHhhApgaeJhjUUAc3jzzlqwD5b28fABk8AN7wA2vyISAF0AfnIZBABfHm4AMyowDGpUbBEJaREtHX1DY1N7a0cACmpgcgkASnC0qQis8Wcvbnh4OAwKGBR4Up5I3gD4YhwAeVjpbIMjEyEa53lBCdzpiPSoFBwtS1iQGFdnENd4chQQADcdmIGI0fG3HKnTFYaXBbvJvJmCdK2dz5B9v5HeAnc4wS4ieAABRgSFOpRAaEkkN072WsxcPjgUGAqAgOD8gm6XSGN0hjiC1QIpOc0V4AHo6fAALQssAUDAspm8SyGGCxKBgBAAMSQSG8zRa8FioqKVXgpyQPW4fW4yHQWBFYvkAQkRQARJq9RUzFAkmhYtQEX90prHDwGZL4AA9EK8NWYeAAIVg5GhsPhiICSFi8FtGIlLV8mop4sdjulSFl3j6jr60SAA

### 💻 Code

```ts
declare const typeKey: unique symbol;

type TypeID = ID & { [typeKey]?: Type };

function typeID(id: ID): TypeID {
return id;
}

type KeyOf = TID extends TypeID ? ID : never;

type TypeOf = TID extends TypeID ? Type : never;

type Provides

= { readonly [T in KeyOf

]: TypeOf

};

// ---cut---

interface Foo {
foo(): void;
}

const Foo = typeID("Foo") satisfies TypeID;
// ^? const Foo: TypeID

const Bar: Provides = {
[Foo]: {
foo() {}
}
};
```

### 🙁 Actual behavior

Fails to compile with error:

```
Property 'Foo' is missing in type '{ [x: string]: { foo(): void; }; }' but required in type 'Provides>'.
```

### 🙂 Expected behavior

I'd expect it to compile. Rather than widening the literal type to `string`, I'd expect it to discard the `{ [typeKey]?: Type }` part, since that's pretty much bogus at runtime anyway.

However, it should also not lose the type information for the generic types. For instance, if I change the declaration to...

```ts
type TypeID = ID;
```

...then it does compile, but so does this...

```ts
const Bar: Provides = {
[Foo]: {
// No error about missing member `foo` here!
}
};
```

### Additional information about the issue

Possibly related to https://github.com/microsoft/TypeScript/issues/43852#issuecomment-1671115898

Bắt đầu với bản tái hiện trong TypeScript Playground và so sánh hành vi của branded literal với phần thảo luận liên quan trong issue #43852. Truy vết đường đi của quá trình kiểm tra kiểu cho các định nghĩa `TypeID`, `KeyOf`, `TypeOf` và `Provides`; được xem là hoàn tất khi ví dụ biên dịch được nhưng vẫn báo cáo thành viên `foo` bị thiếu khi thích hợp.

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