| // Copyright (c) 2019, 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. | |
| // Regression test for https://github.com/dart-lang/sdk/issues/37719 | |
| // Verifies that TFA can infer types from native methods with generic | |
| // return type (_GrowableList.[]). | |
| foo(List<int> x) => 1 + x[0]; | |
| main() => print(foo(<int>[1])); |