unknown types should not able to concat with strings

TypeScript Version: 3.3.0

Code

declare const a: unknown;
const b = a + 123;
const c = a + '123';
const d = `${a}123`;

Expected behavior:
All the declarations of variables b c d should have errors.

Actual behavior:
Only declaration of variable b have error.

Playground Link:
https://www.typescriptlang.org/play/index.html#src=declare%20const%20a%3A%20unknown%3B%0Aconst%20b%20%3D%20a%20%2B%20123%3B%0Aconst%20c%20%3D%20a%20%2B%20'123'%3B%0Aconst%20d%20%3D%20%60%24%7Ba%7D123%60%3B%0A

Although we won't get runtime errors in this case, it may cause unpredictable result, e.g. "[[Object]]123", which is unexpected, so I think ts should not allow unknown types to concat with strings.

TypeScript Playground の再現から始め、a が unknown として型付けされている場合の b、c、d の診断を比較します。算術演算、文字列連結、テンプレート式における型チェックの動作を追跡します。指定された期待されるエラーと動作が一致し、関連するチェックがカバーされれば完了です。