> This all happens in type-inference/match-compile.fun. I thought that > the code was supposed to eliminate redundant branches for both > constructors and consts, but you're right, it isn't for constructors. > I am investigating. Fixed and checked in.