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

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

Issue 11361093: Address Peter's comments in https://codereview.chromium.org/11361059, and fix a host-checked mode b… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 8 years, 1 month 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
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 class A { 5 class A {
6 Map a; 6 Map a;
7 Comparator b; 7 Comparator b;
8 // This code exhibited a bug in dart2js checked mode, where the type 8 // This code exhibited a bug in dart2js checked mode, where the type
9 // of [a] was inferred to be [Comparator] or null; 9 // of [a] was inferred to be [Comparator] or null;
10 A() : b = null, a = null; 10 A() : b = null, a = null;
11 } 11 }
12 12
13 main() { 13 main() {
14 Expect.throws(bar, (e) => e is NullPointerException); 14 Expect.throws(bar);
15 } 15 }
16 16
17 bar() { 17 bar() {
18 // We would create a typed selector for the call to foo, where the 18 // We would create a typed selector for the call to foo, where the
19 // receiver type is a typedef. Some code in the dart2js backend were 19 // receiver type is a typedef. Some code in the dart2js backend were
20 // not dealing correctly with typedefs and lead the compiler to 20 // not dealing correctly with typedefs and lead the compiler to
21 // crash. 21 // crash.
22 new A().a.foo(); 22 new A().a.foo();
23 } 23 }
OLDNEW
« no previous file with comments | « sdk/lib/_internal/compiler/implementation/universe/universe.dart ('k') | tests/language/typed_selector2_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698