Dlaczego kompilator Scala nie może wyświetlać ostrzeżenia o dopasowaniu wzorca dla niezamkniętych klas / cech?

Jeśli używam un uszczelniony traitlub abstract classw Scala, a następnie użyć dopasowywania wzorców, zastanawiam się, czy kompilator nie wiedzieć w czasie kompilacji dla tego konkretnego patternmatch co możliwe implementacje tej cechy / klasy są dostępne? Więc jeśli tak, to czy nie może dać...