On Tue, 25 Apr 2023 10:22:40 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> wrote:
>> Jan Lahoda has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Reflecting review changes. > > test/langtools/tools/javac/patterns/Exhaustiveness.java line 1: > >> 1: /* > > Isn't `Isn't `testCoversType1` the same as `testExhaustiveStatement3` ? Some of the tests called `testExhaustiveStatement` do not seem to test statements at all ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/13074#discussion_r1176315235