explicitly document that return statement argument does not necessarily follow...

explicitly document that return statement argument does not necessarily follow the result type of the function.  Add testcase.

llvm-svn: 46823