anchor.diff:  
     @override
     void visitForStatement2(ForStatement2 node) {
  +    _checkUnreachableNode(node);
  +
       ForLoopParts parts = node.forLoopParts;
       if (parts is ForEachParts) {
         parts.iterable?.accept(this);
  
positive.code: import 'package:analyzer/dart/element/element.dart';
  import 'package:analyzer/dart/element/type.dart';
  import 'package:analyzer/dart/element/type_system.dart';
  import 'package:analyzer/src/dart/resolver/flow_analysis.dart';
  import 'package:test/test.dart';
  import 'package:test_reflective_loader/test_reflective_loader.dart';
  
  
negative.code:       ),
      );
    }
  }
  
  @reflectiveTest
  class ReachableFlowTest_SpreadCollections extends ReachableFlowTest {
    @override
    AnalysisOptionsImpl get analysisOptions => new AnalysisOptionsImpl()
      ..enabledExperiments = [EnableString.spread_collections];
  }
  
  @reflectiveTest
  