The person said the device was still called Chromecast.
https://www.google.com/intl/en_us/chromecast/
https://www.google.com/intl/en_us/chromecast/tv/#?discover
Google is still branding the device as Chromecast and still heavily using the term in the marketing for the actual device.
Also, other companies make Google Cast supported hardware, such as the NVidia Shield.
https://shield.nvidia.com/blog/what-is-googlecast-chromecast
The API was even called the Chromecast API.
They changed it to Google Cast last March [0].
[0] http://www.techtimes.com/articles/143386/20160323/google-reb...