didPushNext method Null safety

void didPushNext()

Called when a new route has been pushed, and the current route is no longer visible.

Implementation

void didPushNext() { }