testing/testData/ideaConfiguration/configurationIdea_Default/main.kt

// warning: org.jetbrains.kotlin.idea.inspections.RedundantVisibilityModifierInspection

public val x = 42

public val y = 13

// :3:1: Redundant visibility modifier
// :5:1: Redundant visibility modifier