| // Copyright (c) 2018, 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 _SECRET { |
| /*element: _SECRET.:[exact=_SECRET]*/ |
| const _SECRET(); |
| /*element: _SECRET.toString:Value([exact=JSString], value: "SECRET!")*/ |
| String toString() => "SECRET!"; |
| } |
| |
| class C { |
| /*element: C.x:[exact=JSUInt31]*/ |
| final int x; |
| |
| /*element: C.y:Union([exact=JSString], [exact=_SECRET])*/ |
| final y; |
| |
| /*element: C.a:[exact=C]*/ |
| C.a(int /*[exact=JSUInt31]*/ x, |
| [var /*Union([exact=JSString], [exact=_SECRET])*/ b = const _SECRET()]) |
| : this.x = x, |
| this.y = b; |
| |
| /*element: C.b:[exact=C]*/ |
| C.b(int /*[exact=JSUInt31]*/ x, |
| {var /*Union([exact=JSString], [exact=_SECRET])*/ b: const _SECRET()}) |
| : this.x = x, |
| this.y = b; |
| |
| /*element: C.toString:[exact=JSString]*/ |
| String toString() => "C(${/*[exact=D]*/x},${/*[exact=D]*/y})"; |
| } |