OLD | NEW |
---|---|
(Empty) | |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 class Super<T extends num> {} | |
6 class Malbounded1 implements Super<String> {} /// 01: static type warning | |
7 class Malbounded2 extends Super<String> {} /// 02: static type warning | |
regis
2013/10/15 19:04:08
If you leave 01: and 02: out, you would verify tha
| |
8 | |
9 main() { | |
10 new Malbounded1(); /// 01: dynamic type error | |
11 new Malbounded2(); /// 02: dynamic type error | |
12 new Super<String>(); /// 03: static type warning, dynamic type error | |
13 } | |
OLD | NEW |