What does this TypeScript snippet output?

Console output

Why

A template-literal *type* like `` `Hello ${string}` `` constrains which strings are assignable at compile time, but it is fully erased at runtime. The template-literal *expression* on the right just builds an ordinary string, so `console.log(g)` prints "Hello world". The two share backtick syntax yet live in entirely different phases: types check, strings run.