> > 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. Thanks.