per Wikipedia: "In subtyping systems, the bottom type is a subtype of all types."