Pourquoi le compilateur Scala ne peut-il pas donner d'avertissement de correspondance de modèle pour les classes / traits non scellés?

Si j'utilise un non scellé traitou abstract classdans Scala et que j'utilise ensuite la correspondance de modèles, je me demande si le compilateur ne sait pas au moment de la compilation pour ce patternmatch particulier quelles implémentations possibles de ce trait / classe sont disponibles? Donc,...