Stop misusing EWildPat in pattern match coverage checking