// 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]*/
  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. /*[exact=JSString]*/ length;
  X([1]). /*[exact=X]*/ a. /*[exact=JSString]*/ length;
}