check that if/switch expressions are exhaustive