타입 매개변수 불일치

타입 추론이 있다는 것은 예를 들어 참조변수의 타입이 GenericBox<Integer>일 때, 인스턴스의 타입도 반드시 GenericBox<Integer>이어야 한다는 뜻인가요?

아래 코드와 같이 작성하는 경우 컴파일 오류가 발생하는데 제네릭에서 타입 매개변수에 타입을 넣는 것은 다형적 참조와 무관한 부분인 건가요? 무조건 참조변수와 인스턴스의 타입 매개변수가 동일해야 하는 건가요?

GenericBox<Object> tmp = new GenericBox<String>(); // 컴파일 오류