Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(37)

Side by Side Diff: tests/language/mixin_invalid_bound_test.dart

Issue 137543004: Support bounded mixins in the VM (fix issue 14453). (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 6 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
(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 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698