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

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

Issue 27378002: Add mirror tests for generic interfaces. Add base-language test for malbounded interfaces. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 7 years, 2 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) 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 import 'package:expect/expect.dart';
6
7 class Super<T extends num> {}
8 class Malbounded1 implements Super<String> {} /// 01: static type warning
9 class Malbounded2 extends Super<String> {} /// 02: static type warning
10
11 main() {
12 new Malbounded1(); /// 01: dynamic type error
13 new Malbounded2(); /// 02: dynamic type error
14 new Super<String>(); /// 03: static type warning, dynamic type error
15 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698