Особенности работы дженериков в Java

Прежде чем отвечать, прошу вдумчиво прочитать и осмыслить вопрос. Итак у нас есть такой код, он скомпилируется и никаких ошибок не будет:

public static void main(String[] args) {
    method(4,"s");
}
static <K> void method(K k1, K k2) {
}

Я думал, что логически ошибка должна быть, ну раз нет, значит такие особенности джавы. Далее, есть такой код:

public static void main(String[] args) {
    method(new ArrayList<Executor>(), new Object());
}
static <K> void method(List<K> k, K k2) {
}

Этот код уже выдает ошибку компиляции. Компилятор говорит, что я в method (List<Executor>, java.util.concurrent.Executor) засовываю не то, что надо. Действительно, Object это вам не Executor. Но вот теперь главный мой вопрос почему в первом случае компилятору пофиг, что одному и тому же параметризованному типу присваиваются разные типы данных, а во втором случае компилятор на основе первого аргумента метода вычисляет какой должен быть аргумент второго метода. Я не понимаю какая логика работает в обоих случаях.

И еще один не менее важный вопрос, если немного изменить второй пример кода вот так:

public static void main(String[] args) {
    method(new ArrayList<Executor>(), 150);
}
static <K> void method(List<? extends K> k, K k2) {
}

Теперь никакой ошибки не возникает, причем мы можем пихать любые типы данных а компилятору все равно! Мы всего лишь изменили List<K> на List<? extends K>. Тут я уже даже теряюсь, что это значит. Лист который содержит что-то, что наследует К, а что такое К? И почему в итоге нам разрешено класть в параметры метода что угодно (напоминаю, что в предыдущем примере с листом это не разрешено).