Proposed resolution:

We therefore recommend that we insert the following precondition before paragraph 11:

Precondition: distribution().operator()(e,value) is well-formed.

[ Berlin: As a working group we voted in favor of N1932 which makes this moot: variate_generator has been eliminated. Then in full committee we voted to give this issue WP status (mistakenly). ]

Paragraph 11 of [tr.rand.var] equires that the member template

template<class T> result_type operator() (T value);

return

distribution()(e, value)

However, not all distributions have an operator() with a corresponding signature.