Suppose I have a `x::Vector{Any}`

(or another abstract type) but in fact all elements of `x`

are `Float64`

, then I can recover a `Vector{Float64}`

using

```
y = [t for t in x]
```

so I don’t even need to specify what the intersection of the types in `x`

.

It feels like there must be a more “explicit” function that achieves precisely this. Or is a comprehension in fact the recommended way?