Microsoft/TypeScript

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

開放

#63,724 建立於 2026年8月6日

 (6 則留言) (1 個反應) (0 位負責人)TypeScript (13,395 個分叉)batch import
BugDomain: check: Control FlowHelp Wanted

倉庫指標

星標
 (108,860 顆星)
PR 合併指標
 (平均合併 6天 17小時) (30 天內合併 9 個 PR)

描述

🔎 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

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

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

if (prefix === "BE" || prefix === "LU" || prefix === "NL") {
    countryCode = prefix;
//  ^
//  Type 'Uppercase<string>' 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<string> or Lowercase<string> 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<string>.

Additional information about the issue

No response

貢獻者指南