tests/language/patterns/flow_analysis/wildcard_pattern_error_test.dart

// Copyright (c) 2023, 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.

import "../../static_type_helper.dart";

test() {
  {
    // A wildcard pattern whose type fully covers the matched value type always
    // matches.
    int? reachability0 = 0;
    int? reachability1 = 0;
    if (expr<int>() case num _) {
      reachability0 = null;
    } else {
      reachability1 = null;
    }
    reachability0.expectStaticType<Exactly<int?>>();
    reachability1.expectStaticType<Exactly<int>>();
  }
  {
    // The same reachability analysis applies even if the scrutinee is a
    // promotion candidate.
    int? reachability0 = 0;
    int? reachability1 = 0;
    var x = expr<int>();
    if (x case num _) {
      reachability0 = null;
      x.expectStaticType<Exactly<int>>();
    } else {
      reachability1 = null;
      x.expectStaticType<Exactly<int>>();
    }
    reachability0.expectStaticType<Exactly<int?>>();
    reachability1.expectStaticType<Exactly<int>>();
  }
  {
    // A wildcard pattern whose type does not cover the matched value type may
    // or may not match.
    int? reachability0 = 0;
    int? reachability1 = 0;
    if (expr<num>() case int _) {
      reachability0 = null;
    } else {
      reachability1 = null;
    }
    reachability0.expectStaticType<Exactly<int?>>();
    reachability1.expectStaticType<Exactly<int?>>();
  }
  {
    // The same reachability analysis applies even if the scrutinee is a
    // promotion candidate.
    int? reachability0 = 0;
    int? reachability1 = 0;
    var x = expr<num>();
    if (x case int _) {
      reachability0 = null;
      x.expectStaticType<Exactly<int>>();
    } else {
      reachability1 = null;
      x.expectStaticType<Exactly<num>>();
    }
    reachability0.expectStaticType<Exactly<int?>>();
    reachability1.expectStaticType<Exactly<int?>>();
  }
  {
    // If the wildcard pattern's type does not fully cover the matched value
    // type, and the `factor` algorithm produces a nontrivial result (see
    // https://github.com/dart-lang/language/blob/main/resources/type-system/flow-analysis.md#promotion),
    // the matched value is promoted in the non-matching code path.
    int? reachability0 = 0;
    int? reachability1 = 0;
    var x = expr<int?>();
    if (x case Null _) {
      reachability0 = null;
      x.expectStaticType<Exactly<Null>>();
    } else {
      reachability1 = null;
      x.expectStaticType<Exactly<int>>();
    }
    reachability0.expectStaticType<Exactly<int?>>();
    reachability1.expectStaticType<Exactly<int?>>();
  }
  {
    // A wildcard pattern does not promote the scrutinee if it's a subpattern.
    var x = expr<Object>();
    if (x case num(sign: int _)) {
      x.expectStaticType<Exactly<num>>();
    }
  }
  {
    // If the scrutinee is already promoted, a subsequent wildcard pattern
    // doesn't demote it.
    var x = expr<Object?>();
    if (x case (_ as int && num _) && var y) {
      x.expectStaticType<Exactly<int>>();
      y.expectStaticType<Exactly<int>>();
    }
  }
  {
    // Inside a record pattern, if the wildcard pattern's type is a subtype of
    // the record's field type, the record's field type is promoted.
    var x = expr<(num,)>();
    if (x case (int _,)) {
      x.expectStaticType<Exactly<(int,)>>();
    }
  }
  {
    // If the wildcard pattern's type is a supertype of the wildcard pattern's
    // field type, the record's field type is not changed.
    var x = expr<(num,)>();
    if (x case (Object _,)) {
      x.expectStaticType<Exactly<(num,)>>();
    }
  }
  {
    // If the wildcard pattern's type is unrelated to the wildcard pattern's
    // field type, the record's field type is not changed.
    var x = expr<(num,)>();
    if (x case (String _,)) {
      x.expectStaticType<Exactly<(num,)>>();
    }
  }
}

T expr<T>() => throw UnimplementedError();

main() {}