소거 한계에는 실행 전략을 명시적으로 제공한다
배열·varargs·오버로딩과 제네릭이 만날 때 경고의 근거와 실제 런타임 표현을 확인합니다.
| 요구 | 도구 | 주의 |
|---|---|---|
| 실행 타입 검사 | Class<T> | 중첩 제네릭 한계 |
| 객체 생성 | Supplier<T> | 생성 정책 |
| 제네릭 배열 | List<T> | new T[] 금지 |
| varargs | @SafeVarargs | 힙 오염 조건 |
| raw 입력 | 검증 어댑터 | 경고 최소화 |
| 같은 erasure overload | 이름 분리 | 시그니처 충돌 |
핵심: 관계가 복잡해지면 이름 있는 중간 타입으로 시그니처를 단순화합니다.