You bolded the wrong part in
temp.deduct.call, because the auto here (the referenced type) is not a template parameter at all. The part you bolded applies during CTAD when there are no custom deduction guides.