Also called top and bottom types, for this reason.

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.

▲

afdbcreid a day ago | parent [-]

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?

	▲	steveklabnik a day ago \| parent [-]
		I am speaking about Rust specifically, yes.