4.3.4 When Reference Types Are the Same

Two reference types the same type if: