Then it would seem that it's required for the compiler to make sure you're consuming the return values (happy and sad) correctly by having the compiler enforce

Then it would seem that it's required for the compiler to make sure you're consuming the return values (happy and sad) correctly by having the compiler enforce access to them, which go completely punts.