This is about the casting cost specifically, not the direct cost of using a protocol as interface, which itself has some annoying performance characteristics