1️⃣
✅ string + string | number => string
❌ number + string | number => error 2365

▶️ Playground

2️⃣
❌ No error firing on generic wrong return type.

▶️ Playground

3️⃣
❌ Type guard wrong types intersection via casting to unknown.

▶️ Playground