Checks that match expression is exhaustive, i.e. all possible patterns are covered.