| Index: tests/language/malbounded_type_test_test.dart
|
| ===================================================================
|
| --- tests/language/malbounded_type_test_test.dart (revision 28940)
|
| +++ tests/language/malbounded_type_test_test.dart (working copy)
|
| @@ -5,12 +5,15 @@
|
| import 'package:expect/expect.dart';
|
|
|
| class Super<T extends num> {}
|
| -class Malbounded1 implements Super<String> {} /// 01: static type warning
|
| -class Malbounded2 extends Super<String> {} /// 02: static type warning
|
| +class Malbounded1 implements Super<String> {} /// 01: static type warning, dynamic type error
|
| +class Malbounded1 implements Super<String> {} /// 02: static type warning
|
| +class Malbounded2 extends Super<String> {} /// 03: static type warning, dynamic type error
|
|
|
| main() {
|
| + var m = new Malbounded1(); /// 01: continued
|
| + Expect.isFalse(m is Super<int>); /// 01: continued
|
| var s = new Super<int>();
|
| - Expect.isFalse(s is Malbounded1); /// 01: static type warning, dynamic type error
|
| - Expect.isFalse(s is Malbounded2); /// 02: static type warning, dynamic type error
|
| - Expect.isFalse(s is Super<String>); /// 03: static type warning, dynamic type error
|
| + Expect.isFalse(s is Malbounded1); /// 02: continued
|
| + Expect.isFalse(s is Malbounded2); /// 03: continued
|
| + Expect.isFalse(s is Super<String>); /// 04: static type warning, dynamic type error
|
| }
|
|
|