| // 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:Union([exact=JSExtendableArray], [exact=JSString])*/ |
| final dynamic a; |
| |
| /*member: X.:[exact=X]*/ |
| X(Object /*Union([exact=JSExtendableArray], [exact=JSString])*/ value) |
| : assert(value is String), |
| a = value; |
| } |
| |
| /*member: main:[null]*/ |
| main() { |
| X('a') |
| . /*[exact=X]*/ a |
| . /*Union([exact=JSExtendableArray], [exact=JSString])*/ length; |
| X([1]) |
| . /*[exact=X]*/ a |
| . /*Union([exact=JSExtendableArray], [exact=JSString])*/ length; |
| } |