6.4.11 쓸모없는 패턴 검사(Useless pattern checks)

6.4.11 쓸모없는 패턴 검사(Useless pattern checks)

유사하게, 컴파일러는 입력 값과 결코 일치하지 않을 패턴을 감지합니다:

switch (Leaf("foo")) {
    case Leaf(_)
       | Leaf("foo"): // This pattern is unused
    case Node(l,r):
    case _: // This pattern is unused
}

출처: Useless pattern checks

본문

컴파일러는 절대 일치하지 않을 패턴(예: 이미 이전 패턴이 커버한, 또는 입력과 다른 생성자의 패턴)을 감지하고 // This pattern is unused 오류를 냅니다.

더 알아보기

• Exhaustiveness checks