> Google's Android phones dropped Miracast support around the time Chromecast came out,

Miracast support was “dropped” only in that it, like Chromecast support, was provided by the Google Cast (now Google Home) app, not the base OS.