pkg/compiler/test/inference/data/narrowing.dart

// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

// @dart = 2.7

/// Regression test for Issue #33761: is-checks and null-checks were assumed to
/// be true even in nested non-condition contexts.

/*member: argIsNonNull1:[null]*/
argIsNonNull1(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull1:[null]*/
void nonNull1() {
  var x = 1;
  if (x /*invoke: [null|subclass=JSInt]*/ == null) return;
  argIsNonNull1(x);
}

/*member: argIsNonNull2:[null]*/
argIsNonNull2(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull2:[null]*/
void nonNull2() {
  var x = 1;
  if ((x /*invoke: [null|subclass=JSInt]*/ ==
          null) /*invoke: [exact=JSBool]*/ ==
      true) return;
  argIsNonNull2(x);
}

/*member: argIsNonNull3:[null]*/
argIsNonNull3(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull3:[null]*/
void nonNull3() {
  var x = 1;
  if ((x /*invoke: [null|subclass=JSInt]*/ ==
          null) /*invoke: [exact=JSBool]*/ !=
      false) return;
  argIsNonNull3(x);
}

/*member: argIsNonNull4:[null]*/
argIsNonNull4(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: discard:Value([exact=JSBool], value: false)*/
discard(/*[exact=JSBool]*/ x) => false;

/*member: nonNull4:[null]*/
void nonNull4() {
  var x = 1;
  if (discard(x /*invoke: [null|subclass=JSInt]*/ != null)) return;
  argIsNonNull4(x);
}

/*member: argIsNonNull5:[null]*/
argIsNonNull5(/*[null|exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull5:[null]*/
void nonNull5() {
  var x = 1;
  if (x /*invoke: [null|subclass=JSInt]*/ != null ? false : false) return;
  argIsNonNull5(x);
}

/*member: argIsNonNull6:[null]*/
argIsNonNull6(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull6:[null]*/
void nonNull6() {
  var x = 1;
  if ((/*[exact=JSBool]*/ (/*[exact=JSBool]*/ y) =>
      y && false)(x /*invoke: [null|subclass=JSInt]*/ != null)) return;
  argIsNonNull6(x);
}

/*member: argIsNonNull7:[null]*/
argIsNonNull7(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull7:[null]*/
void nonNull7() {
  var f = false;
  var x = 1;
  if (f ? (throw x /*invoke: [null|subclass=JSInt]*/ != null) : false) return;
  argIsNonNull7(x);
}

/*member: argIsNonNull8:[null]*/
argIsNonNull8(/*[exact=JSUInt31]*/ x) {
  print('>> is null: ${x == null}');
}

/*member: nonNull8:[null]*/
void nonNull8() {
  var f = false;
  var x = 1;
  if (f ?? (x /*invoke: [null|subclass=JSInt]*/ != null)) return;
  argIsNonNull8(x);
}

/*member: main:[null]*/
void main() {
  nonNull1();
  nonNull2();
  nonNull3();
  nonNull4();
  nonNull5();
  nonNull6();
  nonNull7();
  nonNull8();
}