fix warnings (step 1)

Samples/UIWidgetsSamples_2019_4/Assets/CountDemo.cs

 {
     public class CountDemo : UIWidgetsPanel
     {
-        protected void OnEnable()
-        {
-            base.OnEnable();
-        }
-
         protected override void main()
         {
             ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/MaterialSample/DividerAndButton.cs

 using System.Collections.Generic;
 using uiwidgets;
 using Unity.UIWidgets.engine;
-using Unity.UIWidgets.engine;
 using Unity.UIWidgets.foundation;
 using Unity.UIWidgets.material;
 using Unity.UIWidgets.painting;

Samples/UIWidgetsSamples_2019_4/Assets/MaterialSample/HoverSample.cs

 
 namespace UIWidgetsSample
 {
-  /**
-   *
-   * STILL NOT WORKING, THERE SHOULD BE A BUG. FIX IT !!!!
-   * 
-   */
-    protected void OnEnable()
-    {
-      base.OnEnable();
-    }
-
     protected override void main()
     {
       ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/MaterialSample/MaterialThemeSample.cs

 using System.Collections.Generic;
 using uiwidgets;
-using Unity.UIWidgets.animation;
-using Unity.UIWidgets.engine;
-using Unity.UIWidgets.service;
-using Unity.UIWidgets.ui;
-using UnityEngine;
-using Image = Unity.UIWidgets.widgets.Image;
 using ui_ = Unity.UIWidgets.widgets.ui_;
 
 namespace UIWidgetsSample {

Samples/UIWidgetsSamples_2019_4/Assets/Script/ImageTest.cs

 using System.Collections.Generic;
-using Unity.UIWidgets.animation;
-using FontStyle = Unity.UIWidgets.ui.FontStyle;
-using TextStyle = Unity.UIWidgets.painting.TextStyle;
 using ui_ = Unity.UIWidgets.widgets.ui_;
 
 namespace UIWidgetsSample
-        protected void OnEnable()
-        {
-            base.OnEnable();
-        }
-
         protected override void main()
         {
             ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/Script/StreamTest.cs

     }
     public class StreamTest : UIWidgetsPanel
     {
-        protected void OnEnable()
-        {
-            base.OnEnable();
-        }
-
         protected override void main()
         {
             ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/Script/TextFieldTest.cs

 {
     public class TextFieldTest : UIWidgetsPanel
     {
-        protected void OnEnable()
-        {
-            base.OnEnable();
-        }
-
         protected override void main()
         {
             ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/Script/TextTest.cs

-using System.Collections.Generic;
-using Unity.UIWidgets.animation;
-using Unity.UIWidgets.engine;
+using Unity.UIWidgets.engine;
-//using Unity.UIWidgets.material;
-using Unity.UIWidgets.ui;
-using FontStyle = Unity.UIWidgets.ui.FontStyle;
-using Image = Unity.UIWidgets.widgets.Image;
-using Unity.UIWidgets.rendering;
-//using UIWidgetsGallery.gallery;
-using Unity.UIWidgets.service;
-using Brightness = Unity.UIWidgets.ui.Brightness;
-using UnityEngine;
-using System;
-using UnityEngine.Networking;
-using Random = UnityEngine.Random;
-using Transform = Unity.UIWidgets.widgets.Transform;
-        protected void OnEnable()
-        {
-            base.OnEnable();
-        }
-
         protected override void main()
         {
             ui_.runApp(new MyApp());

Samples/UIWidgetsSamples_2019_4/Assets/UIWidgetsGallery/demo/material/grid_list_demo.cs

         internal bool isFavorite;
         internal string tag => assetName; // Assuming that all asset names are unique.
 
-        internal bool isValid => assetName != null && title != null && caption != null && isFavorite != null;
+        internal bool isValid => assetName != null && title != null && caption != null;
     }
 
     internal class GridPhotoViewer : StatefulWidget
                         child: image
                     );
             }
-
-            D.assert(tileStyle != null);
             return null;
         }
     }

Samples/UIWidgetsSamples_2019_4/Assets/UIWidgetsGallery/demo/material/scrollable_tabs_demo.cs

                         indicator: getIndicator(),
                         tabs: _Page._allPages.Select<_Page, Widget>((_Page page) =>
                         {
-                            D.assert(_demoStyle != null);
                             switch (_demoStyle)
                             {
                                 case TabsDemoStyle.iconsAndText:
                                 case TabsDemoStyle.textOnly:
                                     return new Tab(text: page.text);
                             }
-
                             return null;
                         }).ToList()
                     )

Samples/UIWidgetsSamples_2019_4/Assets/UIWidgetsGallery/demo/material/search_demo.cs

                                     context: context,
                                     del: this._delegate
                                 ).then_((selected) => {
-                                    if (selected != null && (int) selected != this._lastIntegerSelected) {
+                                    if (selected != this._lastIntegerSelected) {
                                         this.setState(() => { this._lastIntegerSelected = (int) selected; });
                                     }
                                 });

Samples/UIWidgetsSamples_2019_4/Assets/UIWidgetsGallery/demo/material/slider_demo.cs

                                         textAlign: TextAlign.center,
                                         onSubmitted: (string value) =>
                                         {
-                                            float.TryParse(value, out float newValue);
+                                            float? newValue = null;
+                                            if (float.TryParse(value, out float convertValue))
+                                            {
+                                                newValue = convertValue;
+                                            }
-                                                setState(() => { _continuousValue = newValue.clamp(0.0f, 100.0f); });
+                                                setState(() => { _continuousValue = newValue.Value.clamp(0.0f, 100.0f); });
                                         },
                                         keyboardType: TextInputType.number,
                                         controller: new TextEditingController(

Samples/UIWidgetsSamples_2019_4/Assets/UIWidgetsGallery/demo/shrine/supplemental/cut_corners_border.cs

   public void paint(
     Canvas canvas,
     Rect rect, 
-    float gapStart,
+    float? gapStart = null,
     float gapExtent = 0.0f,
     float gapPercentage = 0.0f,
     TextDirection? textDirection = null
       float extent = lerpFloat(0.0f, gapExtent + gapPadding * 2.0f, gapPercentage)?? 0.0f;
       switch (textDirection) {
         case TextDirection.rtl: {
-          Path path = _notchedCornerPath(outer.middleRect, gapStart + gapPadding - extent, extent);
+          Path path = _notchedCornerPath(outer.middleRect, gapStart.Value + gapPadding - extent, extent);
-          Path path = _notchedCornerPath(outer.middleRect, gapStart - gapPadding, extent);
+          Path path = _notchedCornerPath(outer.middleRect, gapStart.Value - gapPadding, extent);
           canvas.drawPath(path, paint);
           break;
         }

Samples/UIWidgetsSamples_2019_4/Assets/WidgetsSample/BackdropFilterSample.cs

             }
         }
 
-        class BackdropFilterApp : StatefulWidget {
+        public class BackdropFilterApp : StatefulWidget {
             public BackdropFilterApp(Key key = null) : base(key) {
             }
 
         }
 
-        class BackdropFilterAppState : State<BackdropFilterApp> {
+        public class BackdropFilterAppState : State<BackdropFilterApp> {
             public override Widget build(BuildContext context)
             {
                 var item = new Container(

Samples/UIWidgetsSamples_2019_4/Assets/WidgetsSample/ExpansionPanelSample.cs

 using System.Collections.Generic;
 using uiwidgets;
 using Unity.UIWidgets.engine;
-using Unity.UIWidgets.engine;
 using Unity.UIWidgets.foundation;
 using Unity.UIWidgets.material;
 using Unity.UIWidgets.rendering;

Samples/UIWidgetsSamples_2019_4/Assets/WidgetsSample/HttpRequestSample.cs

 using System;
 using System.Collections.Generic;
 using Unity.UIWidgets.engine;
-using Unity.UIWidgets.engine;
 using Unity.UIWidgets.foundation;
 using Unity.UIWidgets.material;
 using Unity.UIWidgets.rendering;

Samples/UIWidgetsSamples_2019_4/Assets/WidgetsSample/UIWidgetsSamplePanel.cs

 using Unity.UIWidgets.animation;
 using Unity.UIWidgets.engine;
-using Unity.UIWidgets.engine;
 using Unity.UIWidgets.widgets;
 
 namespace UIWidgetsSample {

com.unity.uiwidgets/Editor/gesture/editor_mouse_tracking.cs

                 _EditorTrackedAnnotation hitAnnotation = _findAnnotation(hit);
 
                 // While acrossing two areas, set the flag to true to prevent setting the Pointer Copy VisualMode to None
-                bool enterFlag = false;
-
-                    enterFlag = true;
                     // Both onRelease or onEnter event will enable Copy VisualMode
                     if (hitAnnotation.annotation?.onDragFromEditorRelease != null ||
                         hitAnnotation.annotation?.onDragFromEditorEnter != null) {

com.unity.uiwidgets/Editor/third_parties/editor_coroutines/EditorCoroutines.cs

 			}
 		}
 
-		struct YieldWWW : ICoroutineYield
-		{
-			public WWW Www;
-
-			public bool IsDone(float deltaTime)
-			{
-				return Www.isDone;
-			}
-		}
-
-		struct YieldAsync : ICoroutineYield
+        struct YieldAsync : ICoroutineYield
 		{
 			public AsyncOperation asyncOperation;
 
 					customYield = current as CustomYieldInstruction
 				};
 			}
-			else if (current is WWW)
-			{
-				coroutine.currentYield = new YieldWWW {Www = (WWW) current};
-			}
-			else if (current is WaitForFixedUpdate || current is WaitForEndOfFrame)
+            else if (current is WaitForFixedUpdate || current is WaitForEndOfFrame)
 			{
 				coroutine.currentYield = new YieldDefault();
 			}

com.unity.uiwidgets/Editor/widgets/unity_object_detector.cs

         HitTestBehavior _defaultBehavior {
             get { return widget.child == null ? HitTestBehavior.translucent : HitTestBehavior.deferToChild; }
         }
-
-        private bool isActivated = false;
-
+        
         private Object[] objectReferences;
 
         private string[] paths;

com.unity.uiwidgets/Runtime/async/async_cast.cs

             return result;
         }
 
-        Stream<R> cast<R>() => new CastStream<S, R>(_source);
+        public override Stream<R> cast<R>() => new CastStream<S, R>(_source);
     }
 
 

com.unity.uiwidgets/Runtime/async/stream.cs

             return new _BoundSinkStream<T, T>(source, mapSink);
         }
 
-        static Stream<T> castFrom<S, T>(Stream<S> source) =>
-            new CastStream<S, T>(source);
+        static Stream<U> castFrom<S, U>(Stream<S> source) =>
+            new CastStream<S, U>(source);
 
         public virtual bool isBroadcast {
             get { return false; }
             }
         }
 
-        public Stream<R> cast<R>() => Stream<T>.castFrom<T, R>(this);
+        public virtual Stream<R> cast<R>() => Stream<T>.castFrom<T, R>(this);
 
         public Future<List<T>> toList() {
             List<T> result = new List<T>();
 
     public abstract class StreamTransformer<S, T> {
         // c# does not support change constructor
-        public static StreamTransformer<S, T> create<S, T>(_async._SubscriptionTransformer<S, T> onListen)
+        public static StreamTransformer<U, V> create<U, V>(_async._SubscriptionTransformer<U, V> onListen)
-            return new _StreamSubscriptionTransformer<S, T>(onListen);
+            return new _StreamSubscriptionTransformer<U, V>(onListen);
         }
 
 

com.unity.uiwidgets/Runtime/async/stream_controller.cs

 //
     abstract class _SyncStreamControllerDispatch<T>
         : _StreamController<T>, SynchronousStreamController<T> {
-        internal virtual int _state { get; set; }
 
         public override void _sendData(T data) {
             _subscription._add(data);

com.unity.uiwidgets/Runtime/foundation/assertions.cs

                     details.toDiagnosticsNode(style: DiagnosticsTreeStyle.error)).TrimEnd(), details.exception);   
             }
             
-            D.logError($"Another exception was thrown: ${details.summary}", details.exception);
+            D.logError($"Another exception was thrown: {details.summary}", details.exception);
 
             _errorCount += 1;
         }

com.unity.uiwidgets/Runtime/foundation/diagnostics.cs

         }
 
 
-        DiagnosticLevel level {
+        public override DiagnosticLevel level {
             get {
                 if (!_hasNonNullEntry() && ifEmpty == null) {
                     return DiagnosticLevel.hidden;
     public interface IDiagnosticable {
         string toStringShort();
 
-        string toString(DiagnosticLevel minLevel = DiagnosticLevel.debug);
-
+        string toString(DiagnosticLevel minLevel = DiagnosticLevel.info);
+        
         DiagnosticsNode toDiagnosticsNode(
             string name = null,
             DiagnosticsTreeStyle style = DiagnosticsTreeStyle.sparse);
     }
 
 
-    public interface DiagnosticableTreeMixin : IDiagnosticable{
-        string toString(DiagnosticLevel minLevel = DiagnosticLevel.info);
+    public interface DiagnosticableTreeMixin : IDiagnosticable {
         string toStringShallow(
             string joiner = ", ",
             DiagnosticLevel minLevel = DiagnosticLevel.debug
             string prefixLineOne = "",
             string prefixOtherLines = null,
             DiagnosticLevel minLevel = DiagnosticLevel.debug);
-
-        string toStringShort();
-
-        DiagnosticsNode toDiagnosticsNode(string name = null, DiagnosticsTreeStyle style = DiagnosticsTreeStyle.sparse);
+        
-        void debugFillProperties(DiagnosticPropertiesBuilder properties);
-
     }
 
     public abstract class DiagnosticableTree : Diagnosticable,DiagnosticableTreeMixin {

com.unity.uiwidgets/Runtime/material/pickers/calendar_date_picker.cs

             this.firstDate = utils.dateOnly(firstDate.Value);
             this.lastDate = utils.dateOnly(lastDate.Value);
             D.assert(onDateChanged != null);
-            D.assert(initialCalendarMode != null);
 
             this.onDateChanged = onDateChanged;
             this.onDisplayedMonthChanged = onDisplayedMonthChanged;
                             child: new Text(localizations.formatDecimal(day), style: dayStyle.apply(color: dayColor))
                         )
                     );
-
-                    if (isDisabled) {
-                        dayWidget = dayWidget;
-                    }
-                    else {
+                    
+                    if (!isDisabled) {
                         dayWidget = new GestureDetector(
                             behavior: HitTestBehavior.opaque,
                             onTap: () => onChanged(dayToBuild),
                     )
                 )
             );
-
-            if (isDisabled) {
-                yearItem = yearItem;
-            }
-            else {
+            
+            if (!isDisabled) {
                 yearItem = new InkWell(
                     key: new ValueKey<int>(year),
                     onTap: () => {

com.unity.uiwidgets/Runtime/material/popup_menu.cs

 
         public override Offset getPositionForChild(Size size, Size childSize) {
             float y = position.top;
-            if (selectedItemIndex != null && itemSizes != null) {
+            if (itemSizes != null) {
                 float selectedItemOffset = material_._kMenuVerticalPadding;
                 for (int index = 0; index < selectedItemIndex; index += 1)
                     selectedItemOffset += itemSizes[index].height;

com.unity.uiwidgets/Runtime/painting/box_border.cs

             isUniform = false;
         }
 
-        public virtual BorderSide top { get; }
+        public BorderSide top { get; set; }
-        public virtual BorderSide bottom { get; }
+        public BorderSide bottom { get; set; }
 
         public virtual bool isUniform { get; }
 
             paint(canvas, rect, textDirection);
         }
 
-        internal static void _paintUniformBorderWithRadius(Canvas canvas, Rect rect, BorderSide side,
+        internal virtual void _paintUniformBorderWithRadius(Canvas canvas, Rect rect, BorderSide side,
             BorderRadius borderRadius) {
             D.assert(side.style != BorderStyle.none);
             Paint paint = new Paint();
             }
         }
 
-        internal static void _paintUniformBorderWithCircle(Canvas canvas, Rect rect, BorderSide side) {
+        internal virtual void _paintUniformBorderWithCircle(Canvas canvas, Rect rect, BorderSide side) {
             D.assert(side.style != BorderStyle.none);
             float width = side.width;
             Paint paint = side.toPaint();
 
-        internal static void _paintUniformBorderWithRectangle(Canvas canvas, Rect rect, BorderSide side) {
+        internal virtual void _paintUniformBorderWithRectangle(Canvas canvas, Rect rect, BorderSide side) {
             D.assert(side.style != BorderStyle.none);
             float width = side.width;
             Paint paint = side.toPaint();
                 left: BorderSide.merge(a.left, b.left)
             );
         }
-
-        public readonly BorderSide top;
+        
-        public readonly BorderSide bottom;
         public readonly BorderSide left;
 
         public override EdgeInsetsGeometry dimensions {
             }
         }
 
-        public bool isUniform {
+        public override bool isUniform {
             get { return isSameColor && isSameWidth && isSameStyle; }
         }
 
             paint(canvas, rect, textDirection);
         }
 
-        public void paint(Canvas canvas, Rect rect,
+        public override void paint(Canvas canvas, Rect rect,
             TextDirection? textDirection = null,
             BoxShape shape = BoxShape.rectangle,
             BorderRadius borderRadius = null) {
                 top: top, right: right, bottom: bottom, left: left);
         }
 
-        static void _paintUniformBorderWithRadius(Canvas canvas, Rect rect, BorderSide side,
+        internal override void _paintUniformBorderWithRadius(Canvas canvas, Rect rect, BorderSide side,
             BorderRadius borderRadius) {
             D.assert(side.style != BorderStyle.none);
             Paint paint = new Paint {
             }
         }
 
-        static void _paintUniformBorderWithCircle(Canvas canvas, Rect rect, BorderSide side) {
+        internal override void _paintUniformBorderWithCircle(Canvas canvas, Rect rect, BorderSide side) {
             D.assert(side.style != BorderStyle.none);
             float width = side.width;
             Paint paint = side.toPaint();
 
-        static void _paintUniformBorderWithRectangle(Canvas canvas, Rect rect, BorderSide side) {
+        internal override void _paintUniformBorderWithRectangle(Canvas canvas, Rect rect, BorderSide side) {
             D.assert(side.style != BorderStyle.none);
             float width = side.width;
             Paint paint = side.toPaint();
                 bottom: BorderSide.merge(a.bottom, b.bottom)
             );
         }
-
-
-        public override BorderSide top { get; }
-
+        
-
-        public override BorderSide bottom { get; }
-
-
         public override EdgeInsetsGeometry dimensions {
             get => EdgeInsetsDirectional.fromSTEB(start.width, top.width, end.width, bottom.width);
         }
                             case BoxShape.circle:
                                 D.assert(borderRadius == null,
                                     () => "A borderRadius can only be given for rectangular boxes.");
-                                BoxBorder._paintUniformBorderWithCircle(canvas, rect, top);
+                                _paintUniformBorderWithCircle(canvas, rect, top);
-                                    BoxBorder._paintUniformBorderWithRadius(canvas, rect, top, borderRadius);
+                                    _paintUniformBorderWithRadius(canvas, rect, top, borderRadius);
-                                BoxBorder._paintUniformBorderWithRectangle(canvas, rect, top);
+                                _paintUniformBorderWithRectangle(canvas, rect, top);
                                 break;
                         }
 

com.unity.uiwidgets/Runtime/painting/edge_insets.cs

 using System;
-using JetBrains.Annotations;
-using UnityEngine;
-        internal float _bottom { get; }
-        internal float _end { get; }
-        internal float _left { get; }
-        internal float _right { get; }
-        internal float _start { get; }
-        internal float _top { get; }
+        internal virtual float _bottom { get; }
+        internal virtual float _end { get; }
+        internal virtual float _left { get; }
+        internal virtual float _right { get; }
+        internal virtual float _start { get; }
+        internal virtual float _top { get; }
 
 
         public static EdgeInsetsGeometry infinity = _MixedEdgeInsets.fromLRSETB(
 
         public readonly float start;
 
-        float _start {
+        internal override float _start {
-        float _end {
+        internal override float _end {
-        float _top {
+        internal override float _top {
-        float _bottom {
+        internal override float _bottom {
-        float _left {
+        internal override float _left {
-        float _right {
+        internal override float _right {
             get { return 0f; }
         }
 

com.unity.uiwidgets/Runtime/rendering/flex.cs

                     // i.e. there's more than one child
                     switch (direction) {
                         case Axis.horizontal:
-                            D.assert(textDirection != null, () => "Horizontal $runtimeType with multiple children has a null textDirection, so the layout order is undefined.");
+                            D.assert(textDirection != null, () => $"Horizontal {GetType()} with multiple children has a null textDirection, so the layout order is undefined.");
-                            D.assert(verticalDirection != null, () => "Vertical $runtimeType with multiple children has a null verticalDirection, so the layout order is undefined.");
+                            D.assert(verticalDirection != null, () => $"Vertical {GetType()} with multiple children has a null verticalDirection, so the layout order is undefined.");
                             break;
                     }
                 }
                         case Axis.horizontal:
-                            D.assert(textDirection != null, () => "Horizontal $runtimeType with $mainAxisAlignment has a null textDirection, so the alignment cannot be resolved.");
+                            D.assert(textDirection != null, () => $"Horizontal {GetType()} with {mainAxisAlignment} has a null textDirection, so the alignment cannot be resolved.");
-                            D.assert(verticalDirection != null, () => "Vertical $runtimeType with $mainAxisAlignment has a null verticalDirection, so the alignment cannot be resolved.");
+                            D.assert(verticalDirection != null, () => $"Vertical {GetType()} with {mainAxisAlignment} has a null verticalDirection, so the alignment cannot be resolved.");
                             break;
                     }
                 }
                         case Axis.horizontal:
-                            D.assert(verticalDirection != null, () => "Horizontal $runtimeType with $crossAxisAlignment has a null verticalDirection, so the alignment cannot be resolved.");
+                            D.assert(verticalDirection != null, () => $"Horizontal {GetType()} with {crossAxisAlignment} has a null verticalDirection, so the alignment cannot be resolved.");
-                            D.assert(textDirection != null, () => "Vertical $runtimeType with $crossAxisAlignment has a null textDirection, so the alignment cannot be resolved.");
+                            D.assert(textDirection != null, () => $"Vertical {GetType()} with {crossAxisAlignment} has a null textDirection, so the alignment cannot be resolved.");
                             break;
                     }
                 }
                 new ErrorDescription(
                     $"The edge of the {GetType()} that is overflowing has been marked " +
                     "in the rendering with a yellow and black striped pattern. This is " +
-                    "usually caused by the contents being too big for the $runtimeType."
+                    "usually caused by the contents being too big for the {GetType()}."
                 ),
                 new ErrorHint(
                     "Consider applying a flex factor (e.g. using an Expanded widget) to " +

com.unity.uiwidgets/Runtime/rendering/paragraph.cs

         public float scale;
         public override string ToString() {
             List<string> values = new List<string>();
-            if (offset != null) values.Add("offset=$offset");
-            if (scale != null) values.Add("scale=$scale");
+            if (offset != null) values.Add($"offset={offset}");
+            if (scale != null) values.Add($"scale={scale}");
             values.Add(base.ToString());
             return string.Join("; ", values);
         }

com.unity.uiwidgets/Runtime/ui/window.cs

             get { return _onLocaleChanged; }
             set {
                 _onLocaleChanged = value;
-                _onLocaleChangedZone = Zone.current;
-        Zone _onLocaleChangedZone = Zone.root;
-                _initialLifecycleStateAccessed = true;
-        bool _initialLifecycleStateAccessed = false;
         public float textScaleFactor { get; internal set; } = 1.0f;
 
         public VoidCallback onTextScaleFactorChanged { get; set; }

com.unity.uiwidgets/Runtime/widgets/binding.cs

                 });
             }
         }
-
-        bool _readyToProduceFrames = false;
         
         public RenderObjectToWidgetElement<RenderBox> renderViewElement {
             get { return _renderViewElement; }
         }
 
         public void attachRootWidget(Widget rootWidget) {
-            _readyToProduceFrames = true;
-
             _renderViewElement = new RenderObjectToWidgetAdapter<RenderBox>(
                 container: renderView,
                 debugShortDescription: "[root]",

com.unity.uiwidgets/Runtime/widgets/navigator.cs

                             "There was no corresponding route in the app, and therefore the initial route specified will be " +
                             $"ignored and {defaultRouteName} will be used instead."
                         );
-                        return true;
                     });
                     result.Clear();
                 }
                  if (lastEntry == null) {
                      return false;
                  }
-                 D.assert(disposition != null);
                  if (!mounted)
                      return true; // forget about this pop, we were disposed in the meantime
                  _RouteEntry newLastEntry = null;
                     _history.Count - 1,
                     _RouteEntry.willBePresentPredicate
                 );
-                D.assert(routeIndex != null);
                 Route route = _history[routeIndex].route;
                 Route previousRoute = null;
                 if (!route.willHandlePopInternally && routeIndex > 0) {