blob: 0f2ef254b8eb81617957a4ae281a609fe6f56fea [file] [log] [blame]
library test;
import self as self;
import "dart:core" as core;
class C extends core::Object {
synthetic constructor •() void
: super core::Object::•()
;
}
class D extends self::C {
synthetic constructor •() void
: super self::C::•()
;
}
class E extends core::StackTrace {
synthetic constructor •() void
: super core::StackTrace::•()
;
}
static method test(() void f) void {
try {
f.call();
}
on self::C catch(final self::C x, final core::StackTrace y) {
self::C x1 = x;
core::StackTrace y1 = y;
if(x is self::D) {
self::D x2 = x{self::D};
}
if(y is self::E) {
self::E y2 = y{self::E};
}
}
}
static method main() dynamic {}