OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 import 'package:expect/expect.dart'; | 5 import 'package:expect/expect.dart'; |
6 | 6 |
7 class Super<T extends num> {} | 7 class Super<T extends num> {} |
8 class Malbounded1 implements Super<String> {} /// 01: static type warning | 8 class Malbounded1 implements Super<String> {} //# 01: static type warning |
9 class Malbounded2 extends Super<String> {} /// 02: static type warning | 9 class Malbounded2 extends Super<String> {} //# 02: static type warning |
10 | 10 |
11 main() { | 11 main() { |
12 new Malbounded1(); /// 01: static type warning | 12 new Malbounded1(); //# 01: static type warning |
13 new Malbounded2(); /// 02: static type warning, dynamic type error | 13 new Malbounded2(); //# 02: static type warning, dynamic type error |
14 new Super<String>(); /// 03: static type warning, dynamic type error | 14 new Super<String>(); //# 03: static type warning, dynamic type error |
15 } | 15 } |
OLD | NEW |