From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2003-02-21 09:52:18
David Abrahams <dave_at_[hidden]> writes:
| I disagree with your conclusion. As I've said elsewhere, &k can be a
| compile-time constant in the same way that &X::k is a compile-time
| constant.
Certainly, you've said that. But that assertion by itself does not
constitute a proof of the well-foundness of the attempted analogy or
whether the analogy actually constitutes a proof.
-- Gaby