반환 참조자가 어느 입력에서 올지 컴파일러가 알 수 없을 때, 시그니처가 입력과 출력의 유효 범위 관계를 말해 줍니다.
두 참조자가 같은 관계 이름으로 묶입니다.
런타임에는 둘 중 하나가 반환됩니다.
반환값은 두 입력이 모두 유효한 범위 안에서만 쓸 수 있습니다.
핵심: 'a는 구체적인 길이가 아니라, 대여 검사기가 비교할 수 있는 관계 이름입니다.
'a