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