OLD | NEW |
---|---|
(Empty) | |
1 // Copyright (c) 2014, 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 S0<T> { } | |
6 | |
7 class S<T extends num> extends S0<String> { } | |
8 | |
9 class M<T extends num> { } | |
10 | |
11 class A<T extends num> extends S with M { } | |
12 | |
13 class B<T> extends S<T> with M<int> { } | |
gbracha
2014/01/14 01:39:33
static type error in S<T> since T is not a subtype
regis
2014/01/14 18:40:45
Done.
| |
14 | |
15 class C<T> extends S<int> with M<T> { } | |
16 | |
17 class D<T> extends S<T> with M<bool> { } | |
18 | |
19 class E<T> extends S<bool> with M<T> { } | |
20 | |
21 main() { | |
22 new A<int>(); /// 01: ok | |
23 new A<bool>(); /// 02: static type warning, dynamic type error | |
24 new B<int>(); /// 03: ok | |
25 new B<bool>(); /// 04: static type warning, dynamic type error | |
gbracha
2014/01/14 01:39:33
To be clear, the warning stems from the definition
regis
2014/01/14 18:40:45
Understood. Unfortunately, I do not see how to mak
| |
26 new C<int>(); /// 05: ok | |
27 new C<bool>(); /// 06: static type warning, dynamic type error | |
gbracha
2014/01/14 01:39:33
as above. In fact, all the warnings are like this.
regis
2014/01/14 18:40:45
Agreed.
| |
28 new D<int>(); /// 07: static type warning, dynamic type error | |
29 new D<bool>(); /// 08: static type warning, dynamic type error | |
30 new E<int>(); /// 09: static type warning, dynamic type error | |
31 new E<bool>(); /// 10: static type warning, dynamic type error | |
32 } | |
OLD | NEW |