template literals fail to type check as string literals

[spoonscen]

TypeScript Version: 2.4.0

Code

type Foo = 'lol'

const barr: Foo = `lol`
// Type 'string' is not assignable to type '"lol"'.

https://www.typescriptlang.org/play/#src=type%20Foo%20%3D%20'lol'%0A%0Aconst%20barr%3A%20Foo%20%3D%20%60lol%60

Expected behavior:

type Foo = 'lol'

const barr: Foo = `lol`
// No error

Actual behavior:

type Foo = 'lol'

const barr: Foo = `lol`
// Type 'string' is not assignable to type '"lol"'.

[ikatyang]

Duplicate of #16592.

[DanielRosenwasser]

Thanks for finding that @ikatyang!