Proposed resolution (May, 2015): Change 9.6.3 [dcl.fct.def.delete] paragraph 2 as follows:
A program that refers to a deleted function implicitly or
explicitly, other than to declare it, is ill-formed.
[Note: This includes calling the function implicitly
or explicitly and forming a pointer or pointer-to-member to
the function. It applies even for references in expressions
that are not potentially-evaluated. If a function is
overloaded, it is referenced only if the function is
selected by overload resolution. The implicit odr-use
(6.3 [basic.def.odr]) of a virtual function does not, by
itself, constitute a reference. —end note]