primitive pattern 실험 항목
새 문법이 기존 validation semantics를 바꾸는지 확인한다.
| 입력 | 확인 | 주의 |
|---|---|---|
| 정수 경계 | min·max ±1 | narrowing |
| floating | fraction·NaN·infinity | exactness |
| long switch | constant type·guard | dominance |
| boolean switch | branch 전달력 | ternary 비교 |
핵심: JEP 507은 Java 25 third preview이며 stable source에 넣지 않는다.