| // 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. |
| |
| /*@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() {} |