Skip to content

Commit 69acad2

Browse files
HansBrendeHansBrende
committed
1 parent c50b5e7 commit 69acad2

5 files changed

+136
-0
lines changed

‎src/compiler/checker.ts

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23003,6 +23003,24 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
2300323003
}
2300423004
}
2300523005
}
23006+
if (sourceFlags & TypeFlags.TemplateLiteral) {
23007+
if (arrayIsEqualTo((source as TemplateLiteralType).texts, (target as TemplateLiteralType).texts)) {
23008+
const sourceTypes = (source as TemplateLiteralType).types;
23009+
const targetTypes = (target as TemplateLiteralType).types;
23010+
result = Ternary.True;
23011+
for (let i = 0; i < sourceTypes.length; i++) {
23012+
if (!(result &= isRelatedTo(sourceTypes[i], targetTypes[i], RecursionFlags.Both, /*reportErrors*/ false))) {
23013+
break;
23014+
}
23015+
}
23016+
return result;
23017+
}
23018+
}
23019+
if (sourceFlags & TypeFlags.StringMapping) {
23020+
if ((source as StringMappingType).symbol === (target as StringMappingType).symbol) {
23021+
return isRelatedTo((source as IndexType).type, (target as IndexType).type, RecursionFlags.Both, /*reportErrors*/ false);
23022+
}
23023+
}
2300623024
if (!(sourceFlags & TypeFlags.Object)) {
2300723025
return Ternary.False;
2300823026
}

‎tests/baselines/reference/assignmentToConditionalBrandedStringTemplateOrMapping.js

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
//// [tests/cases/compiler/assignmentToConditionalBrandedStringTemplateOrMapping.ts] ////
2+
3+
//// [assignmentToConditionalBrandedStringTemplateOrMapping.ts]
4+
let a: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
5+
let b: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
6+
7+
a = b;
8+
9+
let c: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
10+
let d: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
11+
12+
c = d;
13+
14+
15+
//// [assignmentToConditionalBrandedStringTemplateOrMapping.js]
16+
var a = null;
17+
var b = null;
18+
a = b;
19+
var c = null;
20+
var d = null;
21+
c = d;

‎tests/baselines/reference/assignmentToConditionalBrandedStringTemplateOrMapping.symbols

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
//// [tests/cases/compiler/assignmentToConditionalBrandedStringTemplateOrMapping.ts] ////
2+
3+
=== assignmentToConditionalBrandedStringTemplateOrMapping.ts ===
4+
let a: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
5+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 0, 3))
6+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 0, 9))
7+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 0, 9))
8+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 0, 37))
9+
10+
let b: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
11+
>b : Symbol(b, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 1, 3))
12+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 1, 9))
13+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 1, 9))
14+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 1, 37))
15+
16+
a = b;
17+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 0, 3))
18+
>b : Symbol(b, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 1, 3))
19+
20+
let c: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
21+
>c : Symbol(c, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 5, 3))
22+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 5, 9))
23+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 5, 9))
24+
>Uppercase : Symbol(Uppercase, Decl(lib.es5.d.ts, --, --))
25+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 5, 44))
26+
27+
let d: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
28+
>d : Symbol(d, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 6, 3))
29+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 6, 9))
30+
>T : Symbol(T, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 6, 9))
31+
>Uppercase : Symbol(Uppercase, Decl(lib.es5.d.ts, --, --))
32+
>a : Symbol(a, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 6, 44))
33+
34+
c = d;
35+
>c : Symbol(c, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 5, 3))
36+
>d : Symbol(d, Decl(assignmentToConditionalBrandedStringTemplateOrMapping.ts, 6, 3))
37+

‎tests/baselines/reference/assignmentToConditionalBrandedStringTemplateOrMapping.types

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
//// [tests/cases/compiler/assignmentToConditionalBrandedStringTemplateOrMapping.ts] ////
2+
3+
=== assignmentToConditionalBrandedStringTemplateOrMapping.ts ===
4+
let a: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
5+
>a : <T>() => T extends `${"a" & { a: 1; }}` ? 1 : 2
6+
> : ^ ^^^^^^^
7+
>a : 1
8+
> : ^
9+
>null! : null
10+
> : ^^^^
11+
12+
let b: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
13+
>b : <T>() => T extends `${"a" & { a: 1; }}` ? 1 : 2
14+
> : ^ ^^^^^^^
15+
>a : 1
16+
> : ^
17+
>null! : null
18+
> : ^^^^
19+
20+
a = b;
21+
>a = b : <T>() => T extends `${"a" & { a: 1; }}` ? 1 : 2
22+
> : ^ ^^^^^^^
23+
>a : <T>() => T extends `${"a" & { a: 1; }}` ? 1 : 2
24+
> : ^ ^^^^^^^
25+
>b : <T>() => T extends `${"a" & { a: 1; }}` ? 1 : 2
26+
> : ^ ^^^^^^^
27+
28+
let c: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
29+
>c : <T>() => T extends Uppercase<"a" & { a: 1; }> ? 1 : 2
30+
> : ^ ^^^^^^^
31+
>a : 1
32+
> : ^
33+
>null! : null
34+
> : ^^^^
35+
36+
let d: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
37+
>d : <T>() => T extends Uppercase<"a" & { a: 1; }> ? 1 : 2
38+
> : ^ ^^^^^^^
39+
>a : 1
40+
> : ^
41+
>null! : null
42+
> : ^^^^
43+
44+
c = d;
45+
>c = d : <T>() => T extends Uppercase<"a" & { a: 1; }> ? 1 : 2
46+
> : ^ ^^^^^^^
47+
>c : <T>() => T extends Uppercase<"a" & { a: 1; }> ? 1 : 2
48+
> : ^ ^^^^^^^
49+
>d : <T>() => T extends Uppercase<"a" & { a: 1; }> ? 1 : 2
50+
> : ^ ^^^^^^^
51+

‎tests/cases/compiler/assignmentToConditionalBrandedStringTemplateOrMapping.ts

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
let a: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
2+
let b: (<T>() => T extends `${'a' & { a: 1 }}` ? 1 : 2) = null!;
3+
4+
a = b;
5+
6+
let c: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
7+
let d: (<T>() => T extends Uppercase<'a' & { a: 1 }> ? 1 : 2) = null!;
8+
9+
c = d;

0 commit comments

Comments
 (0)