Files
sdk/pkg/compiler/test/inference/data/assert_initializer_ea.dart
Mayank Patke 553ac951b3 [dart2js] Add indexable bits to powerset.
Change-Id: I5d4c0b4d15a05cfc30d87003785ca841c46b1a0f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/426583
Reviewed-by: Stephen Adams <sra@google.com>
2025-05-07 19:18:38 -07:00

26 lines
808 B
Dart

// Copyright (c) 2021, 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.
class X {
/*member: X.a:[exact=JSString|powerset={I}{O}{I}]*/
final dynamic a;
/*member: X.:[exact=X|powerset={N}{O}{N}]*/
X(
Object /*Union([exact=JSExtendableArray|powerset={I}{G}{M}], [exact=JSString|powerset={I}{O}{I}], powerset: {I}{GO}{IM})*/
value,
) : assert(value is String),
a = value;
}
/*member: main:[null|powerset={null}]*/
main() {
X('a')
. /*[exact=X|powerset={N}{O}{N}]*/ a
. /*[exact=JSString|powerset={I}{O}{I}]*/ length;
X([1])
. /*[exact=X|powerset={N}{O}{N}]*/ a
. /*[exact=JSString|powerset={I}{O}{I}]*/ length;
}