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

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

Issue 2954823002: Implement type inference for try/catch blocks. (Closed)
Patch Set: Created 3 years, 5 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 self::C {
11 constructor •() → void
12 : super self::C::•()
13 ;
14 }
15 class E extends core::StackTrace {
16 constructor •() → void
17 : super core::StackTrace::•()
18 ;
19 }
20 static method test(() → void f) → void {
21 try {
22 f.call();
23 }
24 on self::C catch(final self::C x, final core::StackTrace y) {
25 dynamic x1 = x;
26 dynamic y1 = y;
27 if(x is self::D) {
28 dynamic x2 = x{self::D};
29 }
30 if(y is self::E) {
31 dynamic y2 = y{self::E};
32 }
33 }
34 }
35 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698