確かに

最終的には case .min ..< 0: case 0: case 0 <.. .max だけで網羅性確認済み

ここで網羅性まで抑えてくれてdefault書かなくて良くなったら最高ではあります