Почему компилятор Scala не может выдавать предупреждение о сопоставлении с образцом для незапечатанных классов / признаков?

Интересно, если я использую Un Seal traitили abstract classScala, а затем использую сопоставление с образцом, не знает ли компилятор во время компиляции для этого конкретного образца, какие возможные реализации этой черты / класса доступны? Так что, если это так, может ли он не выдавать...