Can you show me some examples where the deduction is not the expected type?
Here's an easy to understand example
https://cpp.godbolt.org/z/hTaPbM3a4
Here's an easy to understand example
https://cpp.godbolt.org/z/hTaPbM3a4