Chromium Code Reviews Chromium Code Reviews
Issue 9565016:
Check type argument bounds of interfaces in type tests (work in progress). (Closed)
Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/| OLD | NEW |
|---|---|
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 // Test of parameterized factory methods. | 5 // Test of parameterized factory methods. |
| 6 | 6 |
| 7 class Foo<T extends num> { | 7 class Foo<T extends num> { |
| 8 Foo(); | 8 Foo(); |
| 9 | 9 |
| 10 factory XFoo.bad() { return null; } /// 00: compile-time error | 10 factory XFoo.bad() { return null; } /// 00: compile-time error |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 59 new Box<int>().makeFoo(); | 59 new Box<int>().makeFoo(); |
| 60 new Box<String>().makeFoo(); | 60 new Box<String>().makeFoo(); |
| 61 | 61 |
| 62 // Fisk does not exist. | 62 // Fisk does not exist. |
| 63 new Box<Fisk>(); /// 07: compile-time error | 63 new Box<Fisk>(); /// 07: compile-time error |
| 64 | 64 |
| 65 // Too many type arguments. | 65 // Too many type arguments. |
| 66 new Box<Object, Object>(); /// 08: compile-time error | 66 new Box<Object, Object>(); /// 08: compile-time error |
| 67 | 67 |
| 68 // Fisk does not exist. | 68 // Fisk does not exist. |
| 69 Box<Fisk> box = null; /// 09: static type error | 69 Box<Fisk> box = null; /// 09: dynamic type error |
|
srdjan
2012/03/01 19:05:02
Check dartc, they may require a static type error
regis
2012/03/01 19:54:25
Apparently not. I guess a dynamic type error impli
| |
| 70 | 70 |
| 71 // Too many type arguments. | 71 // Too many type arguments. |
| 72 Box<Object, Object> box = null; /// 10: static type error | 72 Box<Object, Object> box = null; /// 10: dynamic type error |
| 73 } | 73 } |
| OLD | NEW |
