Speaking of any
. What is the type of any
actually?
Its instance is an existential, basically a box that can hold anything, but I’m not sure about the actual type. Is it a special interface of some sort or just a special built-in type?
Furthermore, are there any plans to permit dynamic downcasts from an instance of type any
?
Something: any = ...
if (Number := int[Something]) {} # this is currently not permitted.
Using any
to box multiple different types and then dynamically restore their actual type seems to be currently not permitted. This is a huge hole in the usefulness of any
.