Generic type extending symbol do not prevent usage of the value in template literal

[micnic]

Bug Report

🔎 Search Terms

bug extends symbols template literal

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about symbols

⏯ Playground Link

Playground link with relevant code

💻 Code

type StringOrSymbol = string | symbol;

function getKey(key: StringOrSymbol) {

    return `${key} is the key`; // Error: Implicit conversion of a 'symbol' to a 'string' will fail at runtime.
}

function getKey2<S extends StringOrSymbol>(key: S) {

    return `${key} is the key`; // No error
}

🙁 Actual behavior

When using a value of a generic type that extends symbol there is no error on usage in template literal.

🙂 Expected behavior

It is expected that the error "Implicit conversion of a 'symbol' to a 'string' will fail at runtime." is thrown when using a generic type that extends symbol in a template literal.