Missing ostrzeżenie niewyczerpującym meczu

Question

Dlaczego nie produkują następujące ostrzeżenie, gdy -unchecked jest włączona:

object Order { 
    sealed trait EntryOption 
    case object EmptyEntry extends EntryOption 
    trait Entry extends EntryOption 

    def isEmpty(a: EntryOption): Boolean = a match { 
     case EmptyEntry => true 
// case _: Entry => false 
    } 
} 

Wydaje miałem dokładnie same problem before w dniach Scala 2.8.0, bez wystarczająca odpowiedź.

---

EDIT

@Jed To nie ma sensu dla mnie, że ostrzeżenie jest emitowany tylko przez non-klasy abstrakcyjnej Entry. Rozważmy następującą sytuację:

trait Order { 
    sealed trait EntryOption 
    case object EmptyEntry extends EntryOption 
    abstract sealed class Entry extends EntryOption 

    def isEmpty(a: EntryOption): Boolean = a match { 
    case EmptyEntry => true 
// case _: Entry => false 
    } 
} 

trait OrderImpl extends Order { 
    final class EntryImpl extends Entry 
} 

Jedynym sposobem, aby ostrzeżenia wyświetlane jest mieć betonu klasy Entry w Order!

Answer 1

To nie skarżą się na pniu:

scala> object Order { 
    | sealed trait EntryOption 
    | case object EmptyEntry extends EntryOption 
    | trait Entry extends EntryOption 
    | 
    | def isEmpty(a: EntryOption) : Boolean = a match { 
    |  case EmptyEntry => true 
    | // case _: Entry => false 
    | } 
    | } 
<console>:18: warning: match is not exhaustive! 
missing combination   Entry 

      def isEmpty(a: EntryOption) : Boolean = a match { 
                ^
defined module Order 

Answer 2

Wpis jest cechą, a nie klasą przypadku.