void () { boolean flag = true; try { bar(); } catch (CheckedException e) { flag = false; } catch (Exception e) { } if (flag) { // This should not be highlighted as always true; System.out.println("Must not happen"); } }