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

Side by Side Diff: pkg/front_end/testcases/inference/try_catch_finally.dart.direct.expect

Issue 2954823002: Implement type inference for try/catch blocks. (Closed)
Patch Set: Created 3 years, 6 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
OLDNEW
(Empty)
1 library test;
2 import self as self;
3 import "dart:core" as core;
4
5 class C extends core::Object {
6 constructor •() → void
7 : super core::Object::•()
8 ;
9 }
10 class D extends core::Object {
11 constructor •() → void
12 : super core::Object::•()
13 ;
14 }
15 class E extends core::Object {
16 constructor •() → void
17 : super core::Object::•()
18 ;
19 }
20 static method test(() → void f) → void {
21 try
22 try {
23 dynamic x = 0;
24 f.call();
25 }
26 on self::C catch(no-exception-var) {
27 dynamic x = 0;
28 }
29 on self::D catch(final self::D x) {
30 dynamic x2 = x;
31 }
32 on self::E catch(final self::E x, final core::StackTrace y) {
33 dynamic x2 = x;
34 dynamic y2 = y;
35 }
36 on dynamic catch(final dynamic x, final core::StackTrace y) {
37 dynamic x2 = x;
38 dynamic y2 = y;
39 }
40 finally {
41 dynamic x = 0;
42 }
43 }
44 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698