Продвижение примитивных типов

У меня есть вопрос о продвижении примитивных типов в Java. Как мы видим в следующем примере, один из методов не компилируется из-за ошибки несоответствия типов. Каждый метод возвращает одно и то же значение, но в разных типах.

Версия метода primitive long работает без ошибок, в то время как версия класса-оболочки Long терпит неудачу. Это происходит потому, что литерал int в операторе return сначала будет переведен в более широкий примитивный тип (например, long), а затем в соответствующий класс обертки Integer и так далее. Поскольку Integer не является подклассом Long, компилятор выдает ошибку.

Но почему версия класса-оболочки Byte работает без ошибок? Что именно делает компилятор на этом этапе?

long getPrimitiveLong() {
    return 12; // valid
}

Long getWrapperLong() {
    return 12; // Error: type mismatch
}

Byte getWrapperByte() {
    return 12; // valid
}