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