BugDomain: Conditional TypesHelp Wanted
仓库指标
- Star
- (48,455 star)
- PR 合并指标
- (平均合并 6天 17小时) (30 天内合并 9 个 PR)
描述
🔎 Search Terms
string extends template bug wrong error conditional
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ.
⏯ Playground Link
💻 Code
type No = [false]
type IsAString<S> = S extends `${infer _}` ? true : false;
type StringIsAString<T extends string> = [IsAString<`${T}`>] extends No ? false : true
const shouldAlwaysBeTrue: StringIsAString<'s'> = true;
🙁 Actual behavior
shouldAlwaysBeTrue reports the following error:
Type 'true' is not assignable to type 'false'.(2322)
🙂 Expected behavior
No error
Additional information about the issue
This is the most minimal reproduction of the issue I could come up with after whittling it down from a much more complicated scenario.
Interestingly enough, if I change almost anything about it, the issue goes away. For example, if I replace No with [false], issue goes away. If I take out one of the templates, issue goes away. Etc.