noexcept move on containers (e.g. list)

[Daniel Krügler]

> On 18 September 2013 09:58, Jonathan Wakely <jwakely.gcc@gmail.com> wrote:
[..]
> Although as you're asking specifically about move constructors (which
> I don't think we check any preconditions on anyway) I don't know why
> the standard considers them to have narrow contracts.

I'm pretty sure that this wasn't the intention of N3279 to imply. To
my knowledge the reason why the move constructors of containers are
not noexcept, is because the default constructors aren't and this
again was due to some existing implementations that could throw (in
rare situations). I'm very unsatisfied with that being a valid
implementation, but I guess we would need a paper that would impose
stronger requirements.

- Daniel