From 469c97fdb70ca6276ed93710d366fd484f054570 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mateusz=20Burzy=C5=84ski?= <mateuszburzynski@gmail.com>
Date: Mon, 27 Jun 2022 14:19:48 +0200
Subject: [PATCH] Fixed outdated expectation comments
---
.../accessorsOverrideProperty2.errors.txt | 2 +-
.../reference/accessorsOverrideProperty2.js | 4 +-
.../accessorsOverrideProperty2.symbols | 2 +-
.../accessorsOverrideProperty2.types | 2 +-
.../templateLiteralTypes2.errors.txt | 22 +++++-----
.../reference/templateLiteralTypes2.js | 44 +++++++++----------
.../reference/templateLiteralTypes2.symbols | 22 +++++-----
.../reference/templateLiteralTypes2.types | 22 +++++-----
.../accessorsOverrideProperty2.ts | 2 +-
.../types/literal/templateLiteralTypes2.ts | 22 +++++-----
10 files changed, 72 insertions(+), 72 deletions(-)
diff --git a/tests/baselines/reference/accessorsOverrideProperty2.errors.txt b/tests/baselines/reference/accessorsOverrideProperty2.errors.txt
index 6eedcdc47e924..ce4cbb8cdd84e 100644
--- a/tests/baselines/reference/accessorsOverrideProperty2.errors.txt
+++ b/tests/baselines/reference/accessorsOverrideProperty2.errors.txt
@@ -14,5 +14,5 @@ tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProp
}
const obj = new Derived(); // nothing printed
- console.log(obj.x); // 1
+ console.log(obj.x); // number
\ No newline at end of file
diff --git a/tests/baselines/reference/accessorsOverrideProperty2.js b/tests/baselines/reference/accessorsOverrideProperty2.js
index e16ae60363e36..2a3f5723543bf 100644
--- a/tests/baselines/reference/accessorsOverrideProperty2.js
+++ b/tests/baselines/reference/accessorsOverrideProperty2.js
@@ -9,7 +9,7 @@ class Derived extends Base {
}
const obj = new Derived(); // nothing printed
-console.log(obj.x); // 1
+console.log(obj.x); // number
//// [accessorsOverrideProperty2.js]
@@ -21,4 +21,4 @@ class Derived extends Base {
set x(value) { console.log(`x was set to ${value}`); }
}
const obj = new Derived(); // nothing printed
-console.log(obj.x); // 1
+console.log(obj.x); // number
diff --git a/tests/baselines/reference/accessorsOverrideProperty2.symbols b/tests/baselines/reference/accessorsOverrideProperty2.symbols
index eab967402566b..e4fa4bc7fc543 100644
--- a/tests/baselines/reference/accessorsOverrideProperty2.symbols
+++ b/tests/baselines/reference/accessorsOverrideProperty2.symbols
@@ -26,7 +26,7 @@ const obj = new Derived(); // nothing printed
>obj : Symbol(obj, Decl(accessorsOverrideProperty2.ts, 9, 5))
>Derived : Symbol(Derived, Decl(accessorsOverrideProperty2.ts, 2, 1))
-console.log(obj.x); // 1
+console.log(obj.x); // number
>console.log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
>console : Symbol(console, Decl(lib.dom.d.ts, --, --))
>log : Symbol(Console.log, Decl(lib.dom.d.ts, --, --))
diff --git a/tests/baselines/reference/accessorsOverrideProperty2.types b/tests/baselines/reference/accessorsOverrideProperty2.types
index 860b6f4f021cf..2fcff56230f5c 100644
--- a/tests/baselines/reference/accessorsOverrideProperty2.types
+++ b/tests/baselines/reference/accessorsOverrideProperty2.types
@@ -31,7 +31,7 @@ const obj = new Derived(); // nothing printed
>new Derived() : Derived
>Derived : typeof Derived
-console.log(obj.x); // 1
+console.log(obj.x); // number
>console.log(obj.x) : void
>console.log : (...data: any[]) => void
>console : Console
diff --git a/tests/baselines/reference/templateLiteralTypes2.errors.txt b/tests/baselines/reference/templateLiteralTypes2.errors.txt
index 7e9308d47e659..c649962cc596a 100644
--- a/tests/baselines/reference/templateLiteralTypes2.errors.txt
+++ b/tests/baselines/reference/templateLiteralTypes2.errors.txt
@@ -5,10 +5,10 @@ tests/cases/conformance/types/literal/templateLiteralTypes2.ts(32,11): error TS2
==== tests/cases/conformance/types/literal/templateLiteralTypes2.ts (3 errors) ====
function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t: T) {
- const c1 = `abc${s}`; // `abc${string}`
- const c2 = `abc${n}`; // `abc${number}`
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
- const c4 = `abc${t}`; // `abc${T}
+ const c1 = `abc${s}`;
+ const c2 = `abc${n}`;
+ const c3 = `abc${u}`;
+ const c4 = `abc${t}`;
const d1: `abc${string}` = `abc${s}`;
const d2: `abc${number}` = `abc${n}`;
const d3: `abc${'foo' | 'bar' | 'baz'}` = `abc${u}`;
@@ -20,9 +20,9 @@ tests/cases/conformance/types/literal/templateLiteralTypes2.ts(32,11): error TS2
}
function ft10(s: string) {
- const c1 = `abc${s}`; // Widening type `abc${string}`
+ const c1 = `abc${s}`; // Type string
let v1 = c1; // Type string
- const c2 = c1; // Widening type `abc${string}`
+ const c2 = c1; // Type string
let v2 = c2; // Type string
const c3: `abc${string}` = `abc${s}`;
let v3 = c3; // Type `abc${string}`
@@ -33,18 +33,18 @@ tests/cases/conformance/types/literal/templateLiteralTypes2.ts(32,11): error TS2
}
function ft11(s: string, cond: boolean) {
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${string}` | widening `bar${string}`
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
const c2: `foo${string}` | `bar${string}` = c1; // `foo${string}` | `bar${string}`
~~
!!! error TS2322: Type 'string' is not assignable to type '`foo${string}` | `bar${string}`'.
- const c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
- const c4 = cond ? c3 : `baz${s}`; // `foo${string}` | `bar${string}` | widening `baz${string}`
+ const c3 = cond ? c1 : c2; // string
+ const c4 = cond ? c3 : `baz${s}`; // string
const c5: `foo${string}` | `bar${string}` | `baz${string}` = c4; // `foo${string}` | `bar${string}` | `baz${string}`
~~
!!! error TS2322: Type 'string' is not assignable to type '`foo${string}` | `bar${string}` | `baz${string}`'.
let v1 = c1; // string
let v2 = c2; // `foo${string}` | `bar${string}`
- let v3 = c3; // `foo${string}` | `bar${string}`
+ let v3 = c3; // string
let v4 = c4; // string
let v5 = c5; // `foo${string}` | `bar${string}` | `baz${string}`
}
@@ -102,7 +102,7 @@ tests/cases/conformance/types/literal/templateLiteralTypes2.ts(32,11): error TS2
const t3 = takesLiteral(`foo.bar.${someString}`); // string
const id4 = `foo.bar.${someString}`;
- const t4 = takesLiteral(id4); // string
+ const t4 = takesLiteral(id4); // unknown
declare const someUnion: 'abc' | 'def' | 'ghi';
const t5 = takesLiteral(`foo.bar.${someUnion}`); // "abc" | "def" | "ghi"
diff --git a/tests/baselines/reference/templateLiteralTypes2.js b/tests/baselines/reference/templateLiteralTypes2.js
index 1b31f3a00ee29..9f432cd21ef3d 100644
--- a/tests/baselines/reference/templateLiteralTypes2.js
+++ b/tests/baselines/reference/templateLiteralTypes2.js
@@ -1,9 +1,9 @@
//// [templateLiteralTypes2.ts]
function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t: T) {
- const c1 = `abc${s}`; // `abc${string}`
- const c2 = `abc${n}`; // `abc${number}`
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
- const c4 = `abc${t}`; // `abc${T}
+ const c1 = `abc${s}`;
+ const c2 = `abc${n}`;
+ const c3 = `abc${u}`;
+ const c4 = `abc${t}`;
const d1: `abc${string}` = `abc${s}`;
const d2: `abc${number}` = `abc${n}`;
const d3: `abc${'foo' | 'bar' | 'baz'}` = `abc${u}`;
@@ -15,9 +15,9 @@ function ft2(s: string) {
}
function ft10(s: string) {
- const c1 = `abc${s}`; // Widening type `abc${string}`
+ const c1 = `abc${s}`; // Type string
let v1 = c1; // Type string
- const c2 = c1; // Widening type `abc${string}`
+ const c2 = c1; // Type string
let v2 = c2; // Type string
const c3: `abc${string}` = `abc${s}`;
let v3 = c3; // Type `abc${string}`
@@ -26,14 +26,14 @@ function ft10(s: string) {
}
function ft11(s: string, cond: boolean) {
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${string}` | widening `bar${string}`
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
const c2: `foo${string}` | `bar${string}` = c1; // `foo${string}` | `bar${string}`
- const c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
- const c4 = cond ? c3 : `baz${s}`; // `foo${string}` | `bar${string}` | widening `baz${string}`
+ const c3 = cond ? c1 : c2; // string
+ const c4 = cond ? c3 : `baz${s}`; // string
const c5: `foo${string}` | `bar${string}` | `baz${string}` = c4; // `foo${string}` | `bar${string}` | `baz${string}`
let v1 = c1; // string
let v2 = c2; // `foo${string}` | `bar${string}`
- let v3 = c3; // `foo${string}` | `bar${string}`
+ let v3 = c3; // string
let v4 = c4; // string
let v5 = c5; // `foo${string}` | `bar${string}` | `baz${string}`
}
@@ -91,7 +91,7 @@ declare const someString: string;
const t3 = takesLiteral(`foo.bar.${someString}`); // string
const id4 = `foo.bar.${someString}`;
-const t4 = takesLiteral(id4); // string
+const t4 = takesLiteral(id4); // unknown
declare const someUnion: 'abc' | 'def' | 'ghi';
const t5 = takesLiteral(`foo.bar.${someUnion}`); // "abc" | "def" | "ghi"
@@ -122,10 +122,10 @@ C2(`rotate(${interpolatedStyle.rotate}dig)`);
//// [templateLiteralTypes2.js]
"use strict";
function ft1(s, n, u, t) {
- var c1 = "abc".concat(s); // `abc${string}`
- var c2 = "abc".concat(n); // `abc${number}`
- var c3 = "abc".concat(u); // "abcfoo" | "abcbar" | "abcbaz"
- var c4 = "abc".concat(t); // `abc${T}
+ var c1 = "abc".concat(s);
+ var c2 = "abc".concat(n);
+ var c3 = "abc".concat(u);
+ var c4 = "abc".concat(t);
var d1 = "abc".concat(s);
var d2 = "abc".concat(n);
var d3 = "abc".concat(u);
@@ -135,9 +135,9 @@ function ft2(s) {
return "abc".concat(s);
}
function ft10(s) {
- var c1 = "abc".concat(s); // Widening type `abc${string}`
+ var c1 = "abc".concat(s); // Type string
var v1 = c1; // Type string
- var c2 = c1; // Widening type `abc${string}`
+ var c2 = c1; // Type string
var v2 = c2; // Type string
var c3 = "abc".concat(s);
var v3 = c3; // Type `abc${string}`
@@ -145,14 +145,14 @@ function ft10(s) {
var v4 = c4; // Type `abc${string}`
}
function ft11(s, cond) {
- var c1 = cond ? "foo".concat(s) : "bar".concat(s); // widening `foo${string}` | widening `bar${string}`
+ var c1 = cond ? "foo".concat(s) : "bar".concat(s); // string
var c2 = c1; // `foo${string}` | `bar${string}`
- var c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
- var c4 = cond ? c3 : "baz".concat(s); // `foo${string}` | `bar${string}` | widening `baz${string}`
+ var c3 = cond ? c1 : c2; // string
+ var c4 = cond ? c3 : "baz".concat(s); // string
var c5 = c4; // `foo${string}` | `bar${string}` | `baz${string}`
var v1 = c1; // string
var v2 = c2; // `foo${string}` | `bar${string}`
- var v3 = c3; // `foo${string}` | `bar${string}`
+ var v3 = c3; // string
var v4 = c4; // string
var v5 = c5; // `foo${string}` | `bar${string}` | `baz${string}`
}
@@ -190,7 +190,7 @@ var id2 = "foo.bar.baz";
var t2 = takesLiteral(id2); // "baz"
var t3 = takesLiteral("foo.bar.".concat(someString)); // string
var id4 = "foo.bar.".concat(someString);
-var t4 = takesLiteral(id4); // string
+var t4 = takesLiteral(id4); // unknown
var t5 = takesLiteral("foo.bar.".concat(someUnion)); // "abc" | "def" | "ghi"
// Repro from #41732
var pixelValue = 22;
diff --git a/tests/baselines/reference/templateLiteralTypes2.symbols b/tests/baselines/reference/templateLiteralTypes2.symbols
index 079a8520c9984..8454302ed052d 100644
--- a/tests/baselines/reference/templateLiteralTypes2.symbols
+++ b/tests/baselines/reference/templateLiteralTypes2.symbols
@@ -8,19 +8,19 @@ function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t
>t : Symbol(t, Decl(templateLiteralTypes2.ts, 0, 78))
>T : Symbol(T, Decl(templateLiteralTypes2.ts, 0, 13))
- const c1 = `abc${s}`; // `abc${string}`
+ const c1 = `abc${s}`;
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 1, 9))
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 0, 31))
- const c2 = `abc${n}`; // `abc${number}`
+ const c2 = `abc${n}`;
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 2, 9))
>n : Symbol(n, Decl(templateLiteralTypes2.ts, 0, 41))
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
+ const c3 = `abc${u}`;
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 3, 9))
>u : Symbol(u, Decl(templateLiteralTypes2.ts, 0, 52))
- const c4 = `abc${t}`; // `abc${T}
+ const c4 = `abc${t}`;
>c4 : Symbol(c4, Decl(templateLiteralTypes2.ts, 4, 9))
>t : Symbol(t, Decl(templateLiteralTypes2.ts, 0, 78))
@@ -54,7 +54,7 @@ function ft10(s: string) {
>ft10 : Symbol(ft10, Decl(templateLiteralTypes2.ts, 13, 1))
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 15, 14))
- const c1 = `abc${s}`; // Widening type `abc${string}`
+ const c1 = `abc${s}`; // Type string
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 15, 14))
@@ -62,7 +62,7 @@ function ft10(s: string) {
>v1 : Symbol(v1, Decl(templateLiteralTypes2.ts, 17, 7))
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
- const c2 = c1; // Widening type `abc${string}`
+ const c2 = c1; // Type string
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 18, 9))
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 16, 9))
@@ -92,7 +92,7 @@ function ft11(s: string, cond: boolean) {
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 26, 14))
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${string}` | widening `bar${string}`
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
>s : Symbol(s, Decl(templateLiteralTypes2.ts, 26, 14))
@@ -102,13 +102,13 @@ function ft11(s: string, cond: boolean) {
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
- const c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
+ const c3 = cond ? c1 : c2; // string
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
>c1 : Symbol(c1, Decl(templateLiteralTypes2.ts, 27, 9))
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
- const c4 = cond ? c3 : `baz${s}`; // `foo${string}` | `bar${string}` | widening `baz${string}`
+ const c4 = cond ? c3 : `baz${s}`; // string
>c4 : Symbol(c4, Decl(templateLiteralTypes2.ts, 30, 9))
>cond : Symbol(cond, Decl(templateLiteralTypes2.ts, 26, 24))
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
@@ -126,7 +126,7 @@ function ft11(s: string, cond: boolean) {
>v2 : Symbol(v2, Decl(templateLiteralTypes2.ts, 33, 7))
>c2 : Symbol(c2, Decl(templateLiteralTypes2.ts, 28, 9))
- let v3 = c3; // `foo${string}` | `bar${string}`
+ let v3 = c3; // string
>v3 : Symbol(v3, Decl(templateLiteralTypes2.ts, 34, 7))
>c3 : Symbol(c3, Decl(templateLiteralTypes2.ts, 29, 9))
@@ -322,7 +322,7 @@ const id4 = `foo.bar.${someString}`;
>id4 : Symbol(id4, Decl(templateLiteralTypes2.ts, 91, 5))
>someString : Symbol(someString, Decl(templateLiteralTypes2.ts, 88, 13))
-const t4 = takesLiteral(id4); // string
+const t4 = takesLiteral(id4); // unknown
>t4 : Symbol(t4, Decl(templateLiteralTypes2.ts, 92, 5))
>takesLiteral : Symbol(takesLiteral, Decl(templateLiteralTypes2.ts, 78, 1))
>id4 : Symbol(id4, Decl(templateLiteralTypes2.ts, 91, 5))
diff --git a/tests/baselines/reference/templateLiteralTypes2.types b/tests/baselines/reference/templateLiteralTypes2.types
index e771c63c5357c..129a525534315 100644
--- a/tests/baselines/reference/templateLiteralTypes2.types
+++ b/tests/baselines/reference/templateLiteralTypes2.types
@@ -6,22 +6,22 @@ function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t
>u : "foo" | "bar" | "baz"
>t : T
- const c1 = `abc${s}`; // `abc${string}`
+ const c1 = `abc${s}`;
>c1 : string
>`abc${s}` : string
>s : string
- const c2 = `abc${n}`; // `abc${number}`
+ const c2 = `abc${n}`;
>c2 : string
>`abc${n}` : string
>n : number
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
+ const c3 = `abc${u}`;
>c3 : string
>`abc${u}` : string
>u : "foo" | "bar" | "baz"
- const c4 = `abc${t}`; // `abc${T}
+ const c4 = `abc${t}`;
>c4 : string
>`abc${t}` : string
>t : T
@@ -60,7 +60,7 @@ function ft10(s: string) {
>ft10 : (s: string) => void
>s : string
- const c1 = `abc${s}`; // Widening type `abc${string}`
+ const c1 = `abc${s}`; // Type string
>c1 : string
>`abc${s}` : string
>s : string
@@ -69,7 +69,7 @@ function ft10(s: string) {
>v1 : string
>c1 : string
- const c2 = c1; // Widening type `abc${string}`
+ const c2 = c1; // Type string
>c2 : string
>c1 : string
@@ -100,7 +100,7 @@ function ft11(s: string, cond: boolean) {
>s : string
>cond : boolean
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${string}` | widening `bar${string}`
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
>c1 : string
>cond ? `foo${s}` : `bar${s}` : string
>cond : boolean
@@ -113,14 +113,14 @@ function ft11(s: string, cond: boolean) {
>c2 : `foo${string}` | `bar${string}`
>c1 : string
- const c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
+ const c3 = cond ? c1 : c2; // string
>c3 : string
>cond ? c1 : c2 : string
>cond : boolean
>c1 : string
>c2 : `foo${string}` | `bar${string}`
- const c4 = cond ? c3 : `baz${s}`; // `foo${string}` | `bar${string}` | widening `baz${string}`
+ const c4 = cond ? c3 : `baz${s}`; // string
>c4 : string
>cond ? c3 : `baz${s}` : string
>cond : boolean
@@ -140,7 +140,7 @@ function ft11(s: string, cond: boolean) {
>v2 : `foo${string}` | `bar${string}`
>c2 : `foo${string}` | `bar${string}`
- let v3 = c3; // `foo${string}` | `bar${string}`
+ let v3 = c3; // string
>v3 : string
>c3 : string
@@ -347,7 +347,7 @@ const id4 = `foo.bar.${someString}`;
>`foo.bar.${someString}` : string
>someString : string
-const t4 = takesLiteral(id4); // string
+const t4 = takesLiteral(id4); // unknown
>t4 : unknown
>takesLiteral(id4) : unknown
>takesLiteral : <T extends string>(literal: T) => T extends `foo.bar.${infer R}` ? R : unknown
diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProperty2.ts b/tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProperty2.ts
index a90b76ad23b99..746c571a00112 100644
--- a/tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProperty2.ts
+++ b/tests/cases/conformance/classes/propertyMemberDeclarations/accessorsOverrideProperty2.ts
@@ -10,4 +10,4 @@ class Derived extends Base {
}
const obj = new Derived(); // nothing printed
-console.log(obj.x); // 1
+console.log(obj.x); // number
diff --git a/tests/cases/conformance/types/literal/templateLiteralTypes2.ts b/tests/cases/conformance/types/literal/templateLiteralTypes2.ts
index 5e51c5b30b227..e353afa1d5deb 100644
--- a/tests/cases/conformance/types/literal/templateLiteralTypes2.ts
+++ b/tests/cases/conformance/types/literal/templateLiteralTypes2.ts
@@ -2,10 +2,10 @@
// @declaration: true
function ft1<T extends string>(s: string, n: number, u: 'foo' | 'bar' | 'baz', t: T) {
- const c1 = `abc${s}`; // `abc${string}`
- const c2 = `abc${n}`; // `abc${number}`
- const c3 = `abc${u}`; // "abcfoo" | "abcbar" | "abcbaz"
- const c4 = `abc${t}`; // `abc${T}
+ const c1 = `abc${s}`;
+ const c2 = `abc${n}`;
+ const c3 = `abc${u}`;
+ const c4 = `abc${t}`;
const d1: `abc${string}` = `abc${s}`;
const d2: `abc${number}` = `abc${n}`;
const d3: `abc${'foo' | 'bar' | 'baz'}` = `abc${u}`;
@@ -17,9 +17,9 @@ function ft2(s: string) {
}
function ft10(s: string) {
- const c1 = `abc${s}`; // Widening type `abc${string}`
+ const c1 = `abc${s}`; // Type string
let v1 = c1; // Type string
- const c2 = c1; // Widening type `abc${string}`
+ const c2 = c1; // Type string
let v2 = c2; // Type string
const c3: `abc${string}` = `abc${s}`;
let v3 = c3; // Type `abc${string}`
@@ -28,14 +28,14 @@ function ft10(s: string) {
}
function ft11(s: string, cond: boolean) {
- const c1 = cond ? `foo${s}` : `bar${s}`; // widening `foo${string}` | widening `bar${string}`
+ const c1 = cond ? `foo${s}` : `bar${s}`; // string
const c2: `foo${string}` | `bar${string}` = c1; // `foo${string}` | `bar${string}`
- const c3 = cond ? c1 : c2; // `foo${string}` | `bar${string}`
- const c4 = cond ? c3 : `baz${s}`; // `foo${string}` | `bar${string}` | widening `baz${string}`
+ const c3 = cond ? c1 : c2; // string
+ const c4 = cond ? c3 : `baz${s}`; // string
const c5: `foo${string}` | `bar${string}` | `baz${string}` = c4; // `foo${string}` | `bar${string}` | `baz${string}`
let v1 = c1; // string
let v2 = c2; // `foo${string}` | `bar${string}`
- let v3 = c3; // `foo${string}` | `bar${string}`
+ let v3 = c3; // string
let v4 = c4; // string
let v5 = c5; // `foo${string}` | `bar${string}` | `baz${string}`
}
@@ -93,7 +93,7 @@ declare const someString: string;
const t3 = takesLiteral(`foo.bar.${someString}`); // string
const id4 = `foo.bar.${someString}`;
-const t4 = takesLiteral(id4); // string
+const t4 = takesLiteral(id4); // unknown
declare const someUnion: 'abc' | 'def' | 'ghi';
const t5 = takesLiteral(`foo.bar.${someUnion}`); // "abc" | "def" | "ghi"