Are Post IDs Unique Across all Post Types?

All post types are stored in the same posts table, so they have to use different post IDs. That was always the case, since the the post type page was introduced 2005 with version 1.5.

error code: 523