anchor.diff:    }
   
     void _handlePerformanceStatusChanged(PerformanceStatus status) {
  -    if (status == PerformanceStatus.dismissed) {
  +    if (status == PerformanceStatus.completed) {
  +      _navigator._didCompleteRoute(this);
  +    } else if (status == PerformanceStatus.dismissed) {
         _navigator._didDismissRoute(this);
         _navigator._removeRoute(this);
         _navigator = null;
  
positive.code:   bool _debugCurrentlyHaveRoute(Route route) {
      int index = _history.indexOf(route);
      return index >= 0 && index <= _currentPosition;
    }
  
    void _didDismissRoute(Route route) {
  
negative.code:   }
  
    Duration get transitionDuration;
  
    Widget build(NavigatorState navigator, PerformanceView nextRoutePerformance);
  
  