Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(463)

Unified Diff: tests/language_strong/closure_type_test.dart

Issue 3002573002: Migrating another batch of tests to dart 2. (Closed)
Patch Set: Removed library closure_type_test from test_file Created 3 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests/language_strong/closure_test.dart ('k') | tests/language_strong/closure_type_variable_test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests/language_strong/closure_type_test.dart
diff --git a/tests/language_strong/closure_type_test.dart b/tests/language_strong/closure_type_test.dart
deleted file mode 100644
index 09d6c97adbb5e87e0eb192bc50c9083b59d72806..0000000000000000000000000000000000000000
--- a/tests/language_strong/closure_type_test.dart
+++ /dev/null
@@ -1,49 +0,0 @@
-// Copyright (c) 2012, 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.
-
-// Dart test for a closure result type test that cannot be eliminated at compile
-// time.
-
-library closure_type_test;
-
-import "package:expect/expect.dart";
-import 'dart:math' as math;
-
-class Math {
- static
- int // //# 01: static type warning
- sqrt(x) => math.sqrt(x);
-}
-
-isCheckedMode() {
- try {
- var i = 1;
- String s = i;
- return false;
- } catch (e) {
- return true;
- }
-}
-
-void test(int func(int value), int value) {
- bool got_type_error = false;
- try {
- // Because of function subtyping rules, the static return type of a closure
- // call cannot be relied upon for static type analysis. For example, a
- // function returning dynamic (function 'root') can be assigned to a closure
- // variable declared to return int (closure 'func') and may actually return
- // a double at run-time.
- // Therefore, eliminating the run-time type check would be wrong.
- int x = func(value);
- Expect.equals(value, x * x);
- } on TypeError catch (error) {
- got_type_error = true;
- }
- // Type error expected in checked mode only.
- Expect.isTrue(got_type_error == isCheckedMode());
-}
-
-root(x) => Math.sqrt(x);
-
-main() => test(root, 4);
« no previous file with comments | « tests/language_strong/closure_test.dart ('k') | tests/language_strong/closure_type_variable_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698