Avatar
for example, in the default case of a switch where you have knowledge that one of the other cases must be satisfied.
「たとえば、その他の case の一つが必ず満たされると知っているような場合の default case で」 じゃないですか?
(edited)