Избыточное общее ограничение?

Рассмотрим следующий универсальный метод:

public T2 Frob<T1, T2>(T1 item)
        where T1 : class, T2
        => item as T2;

Компилятор откажется компилировать этот код; Параметр типа 'T2' нельзя использовать с оператором 'as', потому что он не имеет ограничения типа класса или ограничения 'class'

Хорошо, это легко решить, просто выполнив:

public T2 Frob<T1, T2>(T1 item)
        where T1 : class, T2
        where T2 : class
        => item as T2;

Но разве это не лишнее? Есть ли возможный T2, который не является class, учитывая ограничения, уже существующие для T1?

У меня вопрос не в том, почему этот «вывод» не был реализован в компиляторе, причиной может быть просто «никто об этом не подумал», и это нормально. Мне больше интересно знать, верны ли мои рассуждения в том, что T2 эффективно и во всех случаях ограничивается значением class в первом примере, даже если это явно не применяется.