| // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| // @dart=2.9 |
| /*@testedFeatures=inference*/ |
| library test; |
| |
| class C {} |
| |
| class D extends C {} |
| |
| class E extends StackTrace {} |
| |
| void test(void f()) { |
| try { |
| f(); |
| } on C catch (x, y) { |
| var /*@ type=C* */ x1 = x; |
| var /*@ type=StackTrace* */ y1 = y; |
| if (x is D) { |
| var /*@ type=D* */ x2 = /*@ promotedType=D* */ x; |
| } |
| if (y is E) { |
| var /*@ type=E* */ y2 = /*@ promotedType=E* */ y; |
| } |
| } |
| } |
| |
| main() {} |