emit diagnostic error when permission codes are duplicate