Fix Issue 7747 - Diagnostic should be informative for an inferred return
type in a recursive call.
Merge pull request #3509 from AndrejMitrovic/Fix7747

Issue 7747 - Diagnostic should be informative for an inferred return type.