Lambda body는 대상 method의 반환 계약과 호환되어야 한다

표현식 하나라도 모든 target type에 들어가는 것은 아닙니다.

bodyvoid targetvalue target
x -> log(x)가능log 반환형에 따름
x -> x + 1statement expression이면 가능가능
x -> { log(x); }가능불가
x -> { return x + 1; }불가가능
혼합 return불가불가

핵심: void-compatible와 value-compatible 조건을 body 모양과 함께 확인합니다.