You have been the one who wanted to different types with decltype and effective_decltype. Why are you complaining? -----Ursprüngliche Nachricht----- Von:organicoman <organicoman_at_[hidden]> Gesendet:Mi 31.07.2024 10:50 Betreff:Re: [std-proposals] Function overload set type information loss An:Sebastian Wittmeier via Std-Proposals <std-proposals_at_[hidden]>; CC:Sebastian Wittmeier <wittmeier_at_[hidden]>; With function pointers you can achieve something like; in most cases even this is only possible at runtime: PFvvE <--| do you see the problem here PFvvE <--| f<int>,f<double>, yet the same name Just one function f. Just one function f. f<double> f<int> In "type theory" that's not correct. Two entity of different signature must have different types. Otherwise a many to one relationship takes place.