[Bug c++/36870] __has_nothrow_constructor violates the ODR

[paolo dot carlini at oracle dot com]

------- Comment #9 from paolo dot carlini at oracle dot com  2008-07-18 22:17 -------
Thanks Martin. In fact, I think Mark agrees with Daveed on this, I clearly
remember he was unimpressed by the current wording.

If Mark confirms that my Comment #8 is by and large correct I can implement a
behavior very similar to EDG for mainline.


-- 


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