Dlaczego w JPA CriteriaBuilder pozwala mi budować niezdrowe predykaty między niepowiązanymi typami?

Jestem ciekaw, dlaczego przy klasie CriteriaBuilder JPA 2 można tworzyć takie zapytania. Załóżmy, że mam klasę User z utrwalonym String o nazwie name jako atrybut. Dlaczego mogę to napisać?

CriteriaBuilder builder = mgr.getCriteriaBuilder();

CriteriaQuery<User> crit = builder.createQuery(User.class);
Root<User> user = crit.from(User.class);                     // 1
crit.select(user)
    .where(builder.equal(user.get(User_.name), 2.5));        // 2

Po pierwsze, przy znaczniku 1: Dlaczego muszę ponownie wskazać User.class? Czy moje CriteriaQuery i tak nie ma wiedzieć, że interesują mnie użytkownicy? Czy ewentualne wstrzyknięcie tutaj innej klasy nie łamie bezpieczeństwa typu?

Po drugie, przy znaczniku 2: Właściwość name to String. Dlaczego mogę skompilować takie bzdury, porównując String z podwójnym? Innymi słowy, dlaczego sygnatura wywoływanej metody equal jest taka:

public Predicate equal(Expression<?> x, Object y)

Zamiast przypuszczalnie bardziej bezpiecznej wersji w następujący sposób?

public <T> Predicate equal(Expression<T> x, T y)

Czy inne struktury zapytań, takie jak Querydsl, zapewniłyby lepsze rozwiązanie tego problemu?