P1972R0

US105 Check satisfaction of constraints for non-templates when forming pointer to function