Правила выделения подтипов наиболее специфичных методов в Java

В §15.12.2.5 Спецификации языка Java они описывают, как Java выбирает наиболее конкретный метод для вызова из списка как доступных, так и применимых методов.

Есть одно конкретное замечание, которое я не понимаю, а именно:

(1) Тип S более конкретен, чем тип T для любого выражения, если S ‹: T

Меня больше всего беспокоит "любое выражение".

Чтобы проиллюстрировать, почему, я процитирую предыдущий абзац, в котором говорится, что, имея два метода m ₁ и m ₂, мы можем сказать m _{1 более конкретен, чем m 2 для вызова с выражениями аргументов e 1, ..., e k если:}

m ₂ не является универсальным, а m ₁ и m ₂ применимы при строгом или свободном вызове, и где m _{1 имеет формальные типы параметров S 1, ..., S n и m 2 имеет формальные типы параметров T 1 , ..., T n, тип S i более специфичен, чем T i для аргумента e i для всех i (1 ≤ i ≤ n, n = k).}

Итак, если тип S _i (m ₁) более конкретен, чем T _i (m ₂) с аргументом выражение e _i для всех i, тогда m ₁ более конкретное, чем m ₂

Теперь рассмотрим это:

int a(Number a) { return 1; } // m1
int a(Double a) { return 2; } // m2

Из Double <: Number следует, что для любого выражения Double более специфично, чем Number (из цитаты 1).

У нас есть:

m ₁: S ₁ => Число

м ₂: T ₁ => Двойной

Но тогда, если наше выражение аргумента аргумента e ₁ имеет тип Number m ₂, это наиболее специфичный метод, поскольку Double наиболее специфичен для любого выражения ( цитата 1).

Однако, если мы передадим Number в a(), результат будет 1, т.е. метод, принимающий Double, не выбран. Но в цитате 1 говорится, что если Double является подтипом Number, то любое выражение Double будет более конкретным, так почему же оно выбирает a(Number)?

Что мне здесь не хватает?

Примечание: я знаю, что Number не может быть назначен Double, и компилятору не имеет смысла выбирать другой, я просто пытаюсь понять, что я неправильно интерпретирую с первого раза. Цитировать.