Пример по generics из Философии Java

Приветствую всех! Читаю у Брюса Эккеля про дженерики, попался в качестве примера такой код:

 package net.mindview.util;
 import java.util.*;
 public class New {
 public static <K,V> Map<K,V> map() {
      return new HashMap<K,V>();
   }
 }
 public class LimitsOfInference {
     static void f(Map<Person, List<? extends Pet>> petPeople) {}
     public static void main(String[] args) {
          // f(New.map()); // Does not compile
     }
 }

И объяснение:

Type inference doesn’t work for anything other than assignment. If you pass the result of a method call such as New.map( ) as an argument to another method, the compiler will not try to perform type inference. Instead it will treat the method call as though the return value is assigned to a variable of type Object.

И тем не менее я воспроизвел этот код в IDE, он успешно скомпилировался и запустился. Это ошибка или информация в книге устарела? У меня jdk 8.