Chromium Code Reviews| 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 |