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

import 'package:compiler/src/util/testing.dart';

/*member: Foo.:[exact=Foo|powerset={N}{O}{N}]*/
class Foo {
  /*member: Foo._#Foo#x#AI:[sentinel|exact=JSUInt31|powerset={late}{I}{O}{N}]*/
  /*member: Foo.x:[exact=JSUInt31|powerset={I}{O}{N}]*/
  late int /*[exact=Foo|powerset={N}{O}{N}]*/ /*update: [exact=Foo|powerset={N}{O}{N}]*/
  x = 42;
}

/*member: main:[null|powerset={null}]*/
void main() {
  makeLive(test(Foo()));
}

@pragma('dart2js:noInline')
/*member: test:[exact=JSUInt31|powerset={I}{O}{N}]*/
int test(Foo /*[exact=Foo|powerset={N}{O}{N}]*/ foo) =>
    foo. /*[exact=Foo|powerset={N}{O}{N}]*/ x;