// 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]));