Narrow generic conditional and indexed access return types when checking return statements

Narrow generic conditional and indexed access return types when checking return statements #6226