// Copyright (c) 2018, 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.

class Class {
  Iterable<Class> next;
}

main() {
  tryCatch1(null);
  tryCatch2(null);
}

tryCatch1(dynamic c) {
  if (/*dynamic*/ c is Class) {
    /*dynamic*/ c.next;
    try {
      /*dynamic*/ c.next;
      c = 0;
      if (/*dynamic*/ c is Class) {
        /*Class*/ c.next;
      }
    } catch (e) {
      /*dynamic*/ c.next;
    }
    /*dynamic*/ c.next;
  }
}

tryCatch2(dynamic c) {
  if (/*dynamic*/ c is Class) {
    /*Class*/ c.next;
    try {
      /*Class*/ c.next;
    } catch (e) {
      /*Class*/ c.next;
    }
    /*Class*/ c.next;
  }
}