Navigator.pushReplacementNamed does not update address bar #42255
Description
$ flutter doctor
Doctor summary (to see all details, run flutter doctor -v):
[✓] Flutter (Channel master, v1.10.14-pre.15, on Linux, locale en_US.UTF-8)
[✓] Android toolchain - develop for Android devices (Android SDK version 28.0.3)
[✓] Chrome - develop for the web
[✓] Linux toolchain - develop for Linux desktop
[✓] Android Studio (version 3.4)
[✓] IntelliJ IDEA Community Edition (version 2019.2)
[✓] VS Code (version 1.38.1)
[✓] Connected device (4 available)
This commit shows where I'm working the navigator logic: flutter/devtools@2759f59
popAndPushNamed does update the address bar with the new route, but pushReplacementNamed does not.