when
이니셜라이저를 포함하는 프로퍼티를 각 브랜치가 대입으로 종료되는
when
식 뒤의 초기화되지 않은 프로퍼티로 변환합니다.