Furthermore, the update seeks to rectify the exclusion of primitive type patterns in the pattern matching for instanceof and switch, which had limited Java's expressiveness.

Covariance and contravariance might seem esoteric, but you'll need these concepts more than ever as the Java language evolves. Get started with type dependency in array types, generic types, and ...