Is there any language construct in scala that can assure all cases of the pattern matching has bean handled?

Question

Suppose we have a trait with 3 subcase classes. when we match this trait with two of them and forgot to check the third one, probably, we do not notice it during compile-tim