パターンルールでのダブルコロン( :: ) ダブルコロンを使用して効率化を目指す場合に引っかかった例。 ダブルコロンは最終的なものなので、二番目のパタ