React useRef<T,U=T>(U):T|U류 2파라미터 분리 설계 검토했으나, 명시 타입
파라미터 하나 + 인자 추론 타입 파라미터 하나가 만드는 합집합이 Luau
솔버에서 깔끔히 안 풀리고 미해소 제네릭 변수가 남는 것으로 확인(사용자
직접 확인) — Source satisfies State, State<Modifier> 차단 검증에서 이미
반복된 "Luau 제네릭 솔버는 복잡한 조합에서 잘 안 풀린다" 패턴과 같은 결.
단일 파라미터로 단순화, 초기값만으로 좁게 추론되는 문제(Ref(nil)->Ref<nil>)는
명시적 제네릭 적용(Ref<<Obj?>>(nil))으로 해결 — React useRef도 명시 타입
인자 없이는 같은 문제를 겪으므로 이미 받아들여진 UX.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>