anchor.diff:    ///
     /// {@macro flutter.widgets.navigator.pushNamed}
     ///
  +  /// {@macro flutter.widgets.navigator.pushNamed.returnValue}
  +  ///
     /// {@macro flutter.widgets.Navigator.pushNamed}
     ///
     /// {@tool snippet}
  
positive.code:   /// Ongoing gestures within the current route are canceled when a new route is
    /// pushed.
    ///
    /// Returns a [Future] that completes to the `result` value passed to [pop]
    /// when the pushed route is popped off the navigator.
    ///
    /// The `T` type argument is the type of the return value of the new route,
    /// and `TO` is the return value type of the old route.
    ///
    /// To use [popAndPushNamed], a [Navigator.onGenerateRoute] callback must be provided.
    ///
    /// {@endtemplate}
    ///
    /// {@macro flutter.widgets.Navigator.pushNamed}
    ///
  
negative.code:   /// Ongoing gestures within the current route are canceled when a new route is
    /// pushed.
    ///
    /// The `T` type argument is the type of the return value of the route.
    ///
    /// To use [pushNamed], an [Navigator.onGenerateRoute] callback must be
    /// provided,
    /// {@endtemplate}
    ///
    /// {@template flutter.widgets.navigator.pushNamed.returnValue}
    /// Returns a [Future] that completes to the `result` value passed to [pop]
    /// when the pushed route is popped off the navigator.
    /// {@endtemplate}
    ///
    /// {@template flutter.widgets.Navigator.pushNamed}
  