| // 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; |
| |
| void test() { |
| { |
| String f<S>(int x) => null; |
| var /*@type=<S extends Object = dynamic>(int) -> String*/ v = f; |
| v = <T> /*@returnType=Null*/ (int x) => null; |
| v = <T> /*@returnType=String*/ (int x) => "hello"; |
| v = /*error:INVALID_ASSIGNMENT*/ <T> /*@returnType=String*/ (String x) => |
| "hello"; |
| v = /*error:INVALID_ASSIGNMENT*/ <T> /*@returnType=String*/ (int x) => 3; |
| v = <T> /*@returnType=String*/ (int x) { |
| return /*error:RETURN_OF_INVALID_TYPE*/ 3; |
| }; |
| } |
| { |
| String f<S>(int x) => null; |
| var /*@type=<S extends Object = dynamic>(int) -> String*/ v = f; |
| v = <T> /*@returnType=Null*/ (/*@type=int*/ x) => null; |
| v = <T> /*@returnType=String*/ (/*@type=int*/ x) => "hello"; |
| v = /*info:INFERRED_TYPE_CLOSURE, error:INVALID_ASSIGNMENT*/ < |
| T> /*@returnType=String*/ (/*@type=int*/ x) => |
| 3; |
| v = <T> /*@returnType=String*/ (/*@type=int*/ x) { |
| return /*error:RETURN_OF_INVALID_TYPE*/ 3; |
| }; |
| v = <T> /*@returnType=String*/ (/*@type=int*/ x) { |
| return /*error:RETURN_OF_INVALID_TYPE*/ x; |
| }; |
| } |
| { |
| List<String> f<S>(int x) => null; |
| var /*@type=<S extends Object = dynamic>(int) -> List<String>*/ v = f; |
| v = <T> /*@returnType=Null*/ (int x) => null; |
| v = <T> /*@returnType=List<String>*/ (int x) => /*@typeArgs=String*/ [ |
| "hello" |
| ]; |
| v = /*error:INVALID_ASSIGNMENT*/ <T> /*@returnType=List<String>*/ (String |
| x) => /*@typeArgs=String*/ ["hello"]; |
| v = <T> /*@returnType=List<String>*/ (int x) => /*@typeArgs=String*/ [ |
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3 |
| ]; |
| v = <T> /*@returnType=List<String>*/ (int x) { |
| return /*@typeArgs=String*/ [ |
| /*error:LIST_ELEMENT_TYPE_NOT_ASSIGNABLE*/ 3 |
| ]; |
| }; |
| } |
| { |
| int int2int<S>(int x) => null; |
| String int2String<T>(int x) => null; |
| String string2String<T>(String x) => null; |
| var /*@type=<S extends Object = dynamic>(int) -> int*/ x = int2int; |
| x = <T> /*@returnType=int*/ (/*@type=int*/ x) => x; |
| x = <T> /*@returnType=int*/ (/*@type=int*/ x) => x /*@target=num::+*/ + 1; |
| var /*@type=<T extends Object = dynamic>(int) -> String*/ y = int2String; |
| y = /*info:INFERRED_TYPE_CLOSURE, error:INVALID_ASSIGNMENT*/ < |
| T> /*@returnType=String*/ (/*@type=int*/ x) => |
| x; |
| y = <T> /*@returnType=String*/ (/*@type=int*/ x) => /*info:DYNAMIC_INVOKE, info:DYNAMIC_CAST*/ x |
| .substring(3); |
| var /*@type=<T extends Object = dynamic>(String) -> String*/ z = |
| string2String; |
| z = <T> /*@returnType=String*/ (/*@type=String*/ x) => |
| x. /*@target=String::substring*/ substring(3); |
| } |
| } |
| |
| main() {} |