なぜJavaのジェネリクスの型推論は同じ型を強制しないのか

https://zenn.dev/nstock/articles/java-generics-lub-type-inference