mancante avvertimento del match non esaustivo

Question

Perché non produce un avvertimento seguente, quando -unchecked è abilitato:

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 
    } 
} 

sembra Ho avuto esattamente lo same problem before nei giorni di Scala 2.8.0, senza risposta sufficiente

---

EDIT

@Jed Non ha senso per me che l'avvertimento viene emesso solo per una classe non astratta Entry. Si consideri la seguente situazione:

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 
} 

L'unico modo per fare l'avvertimento appare è quello di avere una classe concreta Entry in Order!

Answer 1

E si lamenta sul tronco:

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

L'ingresso è un tratto, non una classe di casi.