otherwise, abs(E),
if that expression is valid,
with overload resolution performed in a context that includes the declaration
template<class U> U abs(U)=delete;
If the function selected by overload resolution
does not return the absolute value of its input,
the program is ill-formed, no diagnostic required.