| // Copyright (c) 2017, 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. |
| |
| /*@testedFeatures=inference*/ |
| library test; |
| |
| class Foo { |
| const Foo(List<String> l); |
| } |
| |
| void test() { |
| void f<@Foo(/*@ typeArgs=String* */ const []) T>() {} |
| var /*@ type=<@Foo::•(const <String*>[]) T extends Object* = dynamic>() ->* Null* */ x = |
| <@Foo(/*@ typeArgs=String* */ const []) T> /*@ returnType=Null* */ () {}; |
| } |
| |
| main() {} |