dart-sdk/tests/language_2/generic_function_dcall_test.dart
Samir Jindel e23acaaf90 [vm/aot] Fix obfuscation.
Test Plan:

Make vm-kernel-precomp-obfuscate-linux-release-x64-try green, ensuring status file changes
reflect design gaps and not bugs.

Tested locally that obfuscated Flutter Gallery runs.

Change-Id: Ifcdc334de58f43c310e15b58dbcf6fe1597206f2
Cq-Include-Trybots: luci.dart.try:vm-kernel-precomp-obfuscate-linux-release-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/81009
Commit-Queue: Samir Jindel <sjindel@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
2018-10-26 13:00:33 +00:00

57 lines
1.5 KiB
Dart

// 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.
import 'package:expect/expect.dart';
void testCallsToGenericFn() {
T f<T>(T a, T b) => ((a as dynamic) + b) as T;
var x = (f as dynamic)<int>(40, 2);
Expect.equals(x, 42);
var y = (f as dynamic)<String>('hi', '!');
Expect.equals(y, 'hi!');
var dd2d = (x, y) => x;
dd2d = f; // implicit <dynamic>
x = (dd2d as dynamic)(40, 2);
Expect.equals(x, 42);
y = (dd2d as dynamic)('hi', '!');
Expect.equals(y, 'hi!');
}
void testGenericFnAsArg() {
h<T>(a) => a as T;
Object foo(f(Object a), Object a) => f(a);
Expect.throws(() => foo(h as dynamic, 42));
var int2int = (int x) => x;
T bar<T>(x) => x as T;
dynamic list = <Object>[1, 2, 3];
Expect.throws(() => list.map(bar));
int2int = bar;
Expect.listEquals([1, 2, 3], list.map(int2int).toList());
}
typedef T2T = T Function<T>(T t);
void testGenericFnAsGenericFnArg() {
h<T>(a) => a as T;
S foo<S>(T2T f, S a) => f<S>(a);
Expect.equals(foo<int>(h, 42), 42);
Expect.equals(foo<dynamic>(h, 42), 42);
Expect.equals(foo<int>(h as dynamic, 42), 42);
Expect.equals(foo<dynamic>(h as dynamic, 42), 42);
}
void testGenericFnTypeToString() {
T f<T>(T a) => a;
Expect.equals(f.runtimeType.toString(), "<T>(T) => T");
}
main() {
testCallsToGenericFn();
testGenericFnAsArg();
testGenericFnAsGenericFnArg();
testGenericFnTypeToString(); //# 01: ok
}