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