upvote
Any is not a top type and ! is not a bottom type, actually. They are sort of similar from a lay perspective if you squint, though.
reply
Why not? I mean if you refer to Rust specifically, yes, because there is no subtyping except for lifetimes, only coercion (and `Any` also cannot contain any type). But in general, why not?
reply
I am speaking about Rust specifically, yes.
reply