関数 escapeReachSourcesOf

定義を解く。

目標のタグを名乗る型が1つも無ければ投げる——島を出る手立てが宣言されていないのに数えると、 「要るものは全部揃っている」が空集合について成り立ってしまう。