pushState method Null safety
override
Adds a new entry to the browser history stack.
See: https://developer.mozilla.org/en-US/docs/Web/API/History/pushState
Implementation
@override
void pushState(Object? state, String title, String url) {
_history.pushState(state, title, url);
}