http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49107

--- Comment #13 from Marc Glisse <marc.glisse at normalesup dot org> 2011-06-04 
09:31:40 UTC ---
(In reply to comment #8)
> Here, instantiating
> std::pair<VectorH3<Kernel>> involves evaluating
> noexcept(ploum<VectorH3<Kernel>>::value),

Hello,

I am far from a specialist. Is it necessary to evaluate the noexcept expression
so early? It feels like it could lazily wait until something really looks at
the swap function, but the standard may require that early evaluation.

(clang currently rejects this code for the same reason)

PR c++/49266 is another example of code that started failing to compile. I hope
we will manage to avoid a situation where people reimplement their own
pair/tuple to avoid the noexcept limitations...

Reply via email to