상한과 추론 결과를 API 의도에 맞춰 점검한다
공통 부모 추론이 요구보다 넓을 수 있습니다.
| 상황 | 결과 | 대응 |
|---|---|---|
| Dog·Dog 인수 | T=Dog | 고유 반환 |
| Dog·Cat 인수 | T=Animal | 혼합 허용 |
| Number 상한 | 숫자만 | String 거부 |
| 여러 역할 | & 인터페이스 | 최소 조합 |
| 추론 불명확 | 명시 타입/분리 | 의도 노출 |
핵심: 상한이 비대해지면 작은 역할 인터페이스를 만듭니다.
공통 부모 추론이 요구보다 넓을 수 있습니다.
| 상황 | 결과 | 대응 |
|---|---|---|
| Dog·Dog 인수 | T=Dog | 고유 반환 |
| Dog·Cat 인수 | T=Animal | 혼합 허용 |
| Number 상한 | 숫자만 | String 거부 |
| 여러 역할 | & 인터페이스 | 최소 조합 |
| 추론 불명확 | 명시 타입/분리 | 의도 노출 |
핵심: 상한이 비대해지면 작은 역할 인터페이스를 만듭니다.