Он определен в JLS # 15.21.1 :
Если операнды оператора равенства имеют числовой тип или один из числового типа (§5.6.2).
blockquote>И JLS # 5.6.2. :
Когда оператор применяет двоичное числовое продвижение к паре операндов, каждое из которых должно обозначать значение, которое можно конвертировать в числовой тип, применяются следующие правила, чтобы :
blockquote>
- Если какой-либо операнд имеет ссылочный тип, он подвергается распаковке преобразования [...]
Итак, чтобы ответить на ваши вопрос,
Integer
распаковывается вint
.