anchor.diff:  // Copyright 2014 The Flutter Authors. All rights reserved.
   // Use of this source code is governed by a BSD-style license that can be
   // found in the LICENSE file.
  -
  -// TODO(gspencergoog): Remove this tag once this test's state leaks/test
  -// dependencies have been fixed.
  -// https://github.com/flutter/flutter/issues/85160
  -// Fails with "flutter test --test-randomize-ordering-seed=123"
  -@Tags(<String>['no-shuffle'])
   
   import 'package:flutter/widgets.dart';
   import 'package:flutter_test/flutter_test.dart';
  
positive.code:     expect(find.byType(Navigator), findsOneWidget);
      expect(find.byType(PerformanceOverlay), findsOneWidget);
      expect(find.byType(CheckedModeBanner), findsOneWidget);
    });
  
    testWidgets('showPerformanceOverlayOverride false', (WidgetTester tester) async {
      expect(WidgetsApp.showPerformanceOverlayOverride, true);
      WidgetsApp.showPerformanceOverlayOverride = false;
      await pumpApp(tester);
  
negative.code:     expect(find.byType(Navigator), findsOneWidget);
      expect(find.byType(PerformanceOverlay), findsNothing);
      expect(find.byType(CheckedModeBanner), findsNothing);
      WidgetsApp.debugAllowBannerOverride = true; // restore to default value
    });
  
    testWidgets('debugAllowBannerOverride true', (WidgetTester tester) async {
      WidgetsApp.debugAllowBannerOverride = false;
      expect(WidgetsApp.showPerformanceOverlayOverride, false);
      expect(WidgetsApp.debugAllowBannerOverride, false);
      WidgetsApp.debugAllowBannerOverride = true;
  