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

/*cfe.library: nnbd=false*/
/*cfe:nnbd.library: nnbd=true*/

class Class {}

main() {
  var o;
  /*current: dynamic*/
  /*cfe.as: Class*/
  /*cfe:nnbd.as: Class!*/
  for (
      // ignore: UNUSED_LOCAL_VARIABLE
      Class c in
      /*cfe.as: Iterable<dynamic>*/
      /*cfe:nnbd.as: Iterable<dynamic>!*/
      /*dynamic|dynamic*/ o?. /*dynamic*/ iterable) {}
}