(original) (raw)

On Tue, Nov 20, 2018 at 3:55 AM Maurizio Cimadamore <maurizio.cimadamore@oracle.com> wrote:
Looks good; I also wonder if it should be relaxed in the other direction
too - e.g.

Assert.check(previous == ERROR || overloadKInd == ERROR || previous ==
overloadKind)

I think that's covered by the other branch of the if/else, we should only get to the assertion if previous != ERROR.