enum-case-pattern の型チェックはたぶん debug-constraintには載ってこないんじゃないかとおもいます。

Associated Valuesの型を推論できない場合かつenumの型が左右で同じ場合

Associated Values の型が推論出来る場合は動作が違うということでしょうか？その例を教えていただけますか？ (edited)