http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51424
--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> --- I seem to remember that the reason why I didn't close it completely at the time is that we may want to extend the diagnostic to cover non-trivial cycles too... Opinions? Could also be a separate bug, that for sure.