fix: phan 메시지에 따라 수정

- array에 +=를 phan 알아듣기 쉽게 array_merge로
- Util::array_get이 더 이상 필요없으므로 null coalescing
- array로 tuple류를 반환하는 함수에 index를 포함하도록 변경
  - php intelephense에게는 현재 무효
- getPost 일부 값에 int 지정
- 아이템에 id property를 없앴으므로 관련 코드 제거
- enum은 array key로 사용할 수 없으므로 \Ds\Map으로 변경
- KakaoKey PhanRedefineClass 에러 우회

hwe/sammo/GeneralTrigger/che_도시치료.php

@@ -24,6 +24,7 @@ class che_도시치료 extends BaseGeneralTrigger{
 
         $db = DB::db();
 
+        /** @var array{int,string,string}[] $patients */
         $patients = $db->queryAllLists(
             'SELECT no,name,nation FROM general WHERE city=%i AND injury > 10 AND no != %i',
             $general->getCityID(),
@@ -39,6 +40,7 @@ class che_도시치료 extends BaseGeneralTrigger{
 
         $cureList = [];
 
+        /** @var string|null */
         $curedPatientName = null;
         foreach($patients as [$patientID, $patientName, $patientNationID]){
             if (!Util::randBool(0.5)) {
@@ -56,6 +58,10 @@ class che_도시치료 extends BaseGeneralTrigger{
             return $env;
         }
 
+        if($curedPatientName === null){
+            throw new \sammo\MustNotBeReachedException();
+        }
+
 
         if(count($cureList) == 1){
             $josaUl = JosaUtil::pick($curedPatientName, "을");