Merge "Mark two records as different if the access specifier is downgraded."