RETURN opcode for return <multi-line conditional expression>; is attributed to a line inside a never-executed branch, causing false-positive code coverage

RETURN opcode for return <multi-line conditional expression>; is attributed to a line inside a never-executed branch, causing false-positive code coverage #47375