runtime value가 byte로 정확히 표현되는지 branch를 나눈다.
byte match false
int
byte match true
byte
핵심: source·target type과 값에 따른 exact conversion table을 실행으로 남긴다.