Added pure and nothrow to the duplicate attribute checker.