mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 14:32:49 +00:00
8fd6d0aafd
Committed: https://code.google.com/p/dart/source/detail?r=19755 Reverted: http://code.google.com/p/dart/source/detail?r=19756 Review URL: https://codereview.chromium.org//12212016 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@20996 260f80e4-7a28-3924-810f-c04153c831b5
38 lines
1 KiB
Dart
38 lines
1 KiB
Dart
// 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 function type test that cannot be eliminated at compile time.
|
|
|
|
import "package:expect/expect.dart";
|
|
|
|
isCheckedMode() {
|
|
try {
|
|
var i = 1;
|
|
String s = i;
|
|
return false;
|
|
} catch (e) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
typedef FList(List l);
|
|
typedef FListInt(List<int> l);
|
|
|
|
FList f() {
|
|
return (List<String> l) => null; // Type of function is a subtype of FList.
|
|
}
|
|
|
|
main() {
|
|
bool got_type_error = false;
|
|
try {
|
|
// Static result type of f(), i.e. FList, is a subtype of FListInt.
|
|
// However, run time type of returned function is not a subtype of FListInt.
|
|
// Run time type check should not be eliminated.
|
|
FListInt fli = f();
|
|
} on TypeError catch (error) {
|
|
got_type_error = true;
|
|
}
|
|
// Type error expected in checked mode only.
|
|
Expect.isTrue(got_type_error == isCheckedMode());
|
|
}
|