US105 13.04.1 p2 Check satisfaction of constraints for non-templates when forming pointer to function #104
Description
Nothing prohibits forming a pointer to a non-overloaded non-template function whose constraints are not satisfied.
Proposed change:
Extend [over.over] to perform trivial overload resolution even when a function is named without a target type, obviating the need for [dcl.fct.def.delete]/2.