which becomes a permanent feature in Java SE 16 (March 2021). The first phase of pattern matching is limited to one kind of pattern (type patterns) and one language construct (instanceof), but ...