Fix Issue 7747 - Diagnostic should be informative for an inferred return
type in a recursive call.