tests/language/inference_update_2/disabled_test.dart

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

// Tests that field promotion doesn't happen when the feature is disabled.

// @dart=2.18

import '../static_type_helper.dart';

class C {
  final int? _privateFinalField;

  C(int? i) : _privateFinalField = i;
}

void testPrivateFinalField(C c) {
  if (c._privateFinalField != null) {
    c._privateFinalField.expectStaticType<Exactly<int?>>();
  }
}

main() {
  for (var c in [C(null), C(0)]) {
    testPrivateFinalField(c);
  }
}