そもそも蜀なんて魏から見ればわざわざ攻めに行く必要すらない辺境だしな