A type O meets the ProOverload requirements if substituted-overload<O, F> matches one of the following definitions, where F is any type meeting the ProBasicFacade requirements, R is the return type, Args... are the argument types.
The exposition-only type substituted-overload<O, F> is OT<F> if O is a specialization of facade_aware_overload_t<OT>, or O otherwise.
Definitions of O |
|---|
R(Args...) |
R(Args...) noexcept |
R(Args...) & |
R(Args...) & noexcept |
R(Args...) && |
R(Args...) && noexcept |
R(Args...) const |
R(Args...) const noexcept |
R(Args...) const& |
R(Args...) const& noexcept |
R(Args...) const&& |
R(Args...) const&& noexcept |