The following example would compile without any warnings, but it would fail on runtime with a scala.MatchError exception to weekdays other than Monday and Sunday: def nonExhaustive ( weekday : Weekday.Value ) { weekday match { case Monday => println ( "I hate Mondays" ) case Sunday => println ( "The weekend is already over?