pkg/compiler/test/inference/data/issue_52170.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.

/*member: getInt:[exact=JSUInt31|powerset=0]*/
int get getInt => 42;

/*member: foo:Union(null, [exact=JSString|powerset=0], [exact=JSUInt31|powerset=0], powerset: 1)*/
foo() {
  dynamic local = 3;
  for (
    int i = 0;
    i /*invoke: [subclass=JSPositiveInt|powerset=0]*/ < 10;
    i /*invoke: [subclass=JSPositiveInt|powerset=0]*/ ++
  ) {
    switch (getInt) {
      case 42:
        break;
      default:
        local = 'hello';
    }
    if (i /*invoke: [subclass=JSPositiveInt|powerset=0]*/ > 5) {
      return local;
    }
  }
  return null;
}

/*member: main:[null|powerset=1]*/
void main() {
  foo();
}