They are equivalent. The compiler essentially does the map for you when you use as. There may be slight arbitrary performance discrepancies based on what the optimizer does, but hopefully not material ones.
Personally, I wish it didn’t support this kind of as, since it’s O(n), unlike languages where everything is a reference where these casts can be done in constant time. But developers used to those languages would find it very surprising if it isn’t supported.