Type narrowing not working correctly with Uppercase<string> & Lowercase<string>

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

### 🔎 Search Terms

"narrowing lowercase" "narrowing uppercase"

### 🕗 Version & Regression Information

- This is the behavior in every version I tried, and I reviewed the FAQ for entries about Common Bugs and Type System Behavior

### ⏯ Playground Link

https://www.typescriptlang.org/play/?#code/DYUwLgBAxg9grgOzAJwJ4GEYBMQC4IBEAQgKIEQA+hAMgKrlUEBy1BA3AFAewIDOkAB2QgAZgEsAHhAC8hAEYgCAOjAxaAgSGToAhrxAAKAJQQ9EdZuRQ9IADz9kYhAHMAfJw5iREA0NGSZaVliMkoqP3EpIOC6BnDhSMDglgITAG8OCCzoeCQ0TBwZCAjJTgB6MqyAPQ4KrIAVVE0IAHILLWt9exQnNxaIMV4IBBhIPV4xZwQdOVAIVXmmkFaQhhp6SkIUlqVayohG5paHXv7B4dHTXgmpmbmFsCWV0jWCWM3mVh2OAF8gA

### 💻 Code

```ts
let countryCode: "BE" | "LU" | "NL";

const prefix = "be".toUpperCase() as Uppercase;

if (prefix === "BE" || prefix === "LU" || prefix === "NL") {
countryCode = prefix;
// ^
// Type 'Uppercase' is not assignable to type '"BE" | "LU" | "NL"'.
// Type 'string' is not assignable to type '"BE" | "LU" | "NL"'.
}
```

### 🙁 Actual behavior

TypeScript cannot narrow down an `Uppercase` or `Lowercase` type after explicitly comparing against specific values.

### 🙂 Expected behavior

TypeScript should accept the code above as `"BE" | "LU" | "NL"` is strictly a sub-type of `Uppercase`.

### Additional information about the issue

_No response_

Bắt đầu bằng cách tái hiện ví dụ TypeScript Playground được liên kết và so sánh hành vi của Uppercase và Lowercase sau các phép so sánh literal. Truy vết đường dẫn thu hẹp kiểu chịu trách nhiệm cho lỗi phép gán. Hoàn thành khi các phép kiểm tra "BE" | "LU" | "NL" được liệt kê thu hẹp giá trị đủ để phép gán thành công, đồng thời xem xét hành vi tương đương với chữ thường.

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