| // 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. |
| |
| // Test that a non-used generative constructor does not prevent |
| // inferring types for fields. |
| |
| class A { |
| /*element: A.intField:[exact=JSUInt31]*/ |
| final intField; |
| |
| /*element: A.stringField:Value([exact=JSString], value: "foo")*/ |
| final stringField; |
| |
| /*element: A.:[exact=A]*/ |
| A() |
| : intField = 42, |
| stringField = 'foo'; |
| |
| A.bar() |
| : intField = 'bar', |
| stringField = 42; |
| } |
| |
| /*element: main:[null]*/ |
| main() { |
| new A(); |
| } |
