I added another static analysis check to dscanner, it pointed out this line: https://github.com/andralex/phobos/blob/allocator/std/allocator.d#L5005 Both sides of the && are identical.