[Boost-users] type_erasure question

Subject: [Boost-users] type_erasure question
From: Aleksandar Fabijanic (aleskx_at_[hidden])
Date: 2013-04-07 11:40:32

Looking at the type_erasure example:

typedef any<boost::mpl::vector<copy_constructible<>,
        typeid_<>, addable<>>
> any_type;

any_type x(1.1);
any_type y(1);
any_type z(x + y);

Apparently, without placeholders for x and y, this is undefined behavior.
Am I interpreting it right? If so, shouldn't it fail to compile or at least
throw an exception at runtime?

Thanks,

Alex