Subject: [boost] [type_erasure] ODR violation promotion
From: Vicente J. Botet Escriba (vicente.botet_at_[hidden])
Date: 2011-09-09 14:23:57


Hi Steven,

I'm interested in your TypeErasure library. Where can I find the on
going version?

The example for concept map seams not complete, as the specialization
for less_than_comparable<std::type_info> is not used in any type erasure
type. Could you complete it?

Before the Boost.Conversion review someone signaled that the
Boost.Conversion review was promoting ODR violations as two libraries
could specialize a conversion for types S and T and make them
incompatible for an end user as the ODR is violated.

I think that your library suffer from the same issue, when two libraries
need to specialize a concept provided by the library for a 3rd part
concrete class using the proposed concept map mechanism. Do you agree?
If not, how do the library avoids this kind of issue?

Best,
Vicente