Either i) the descriptor return type of S is void, or ii) for all result expressions in the lambda body (or for the body itself if the body is an expression), the descriptor return type of the capture of T is more specific than the descriptor return type of S [jsr335-15.12.2.5-10-F4]