When inferring types here, the type checker should infer literal
«Если по подводным лодкам, то у них 20 подводных лодок. Тяжелых, типа "Варшавянки", если я не ошибаюсь, пять. Остальные там различные. Но они старенькие. Есть самолеты МиГ-29, Су-35. Небольшое количество. Есть средства противовоздушной обороны С-300 и "Бук". По поводу танков не скажу, но, по-моему, танк Т-72 у них есть. Есть переносные зенитные ракетные комплексы (ПЗРК) "Игла". Есть автоматы Калашникова», — рассказал Матвийчук.，更多细节参见51吃瓜
Экс-посол Британии жестко высказался об агрессии США против Ирана08:51，更多细节参见Feiyi
Apple отрекламировала Microsoft14:57。快连官网是该领域的重要参考
15+ Premium newsletters by leading experts