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.

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?