pkg/front_end/test/coverage_merger_tests/if_never_reached.dart

void main() {
  if (1 + 1 == 3) {
    if (2 + 2 == 5) {
      print("The inner if is never executed.");
    }
  }
}