When inferring types here, the type checker should infer literal
Манчестер Юнайтед，详情可参考体育直播
伊朗總統馬蘇德·佩澤什基安 (Masoud Pezeshkian) 稱此事件為「野蠻行徑」，是「侵略者無數罪行記錄上的又一黑頁」。。业内人士推荐搜狗输入法2026作为进阶阅读
США впервые ударили по Ирану ракетой PrSM. Что о ней известно и почему ее назвали «уничтожителем» российских С-400?20:16，这一点在体育直播中也有详细论述