OLD | NEW |
| (Empty) |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 import 'package:expect/expect.dart'; | |
6 import "package:async_helper/async_helper.dart"; | |
7 import 'compiler_helper.dart'; | |
8 | |
9 const String TEST = """ | |
10 | |
11 method(a) { // Called via [foo] with integer then double. | |
12 return a; | |
13 } | |
14 | |
15 const foo = method; | |
16 | |
17 returnNum(x) { | |
18 return foo(x); | |
19 } | |
20 | |
21 main() { | |
22 returnNum(10); | |
23 returnNum(10.5); | |
24 } | |
25 """; | |
26 | |
27 | |
28 void main() { | |
29 Uri uri = new Uri(scheme: 'source'); | |
30 var compiler = compilerFor(TEST, uri); | |
31 asyncTest(() => compiler.runCompiler(uri).then((_) { | |
32 var typesInferrer = compiler.typesTask.typesInferrer; | |
33 | |
34 checkReturn(String name, type) { | |
35 var element = findElement(compiler, name); | |
36 Expect.equals(type, | |
37 typesInferrer.getReturnTypeOfElement(element).simplify(compiler), | |
38 name); | |
39 } | |
40 | |
41 checkReturn('method', compiler.typesTask.numType); | |
42 checkReturn('returnNum', compiler.typesTask.numType); | |
43 })); | |
44 } | |
OLD | NEW |