It’s only true if you have the function body available for deduction. Headers/decls need types.