testing/testData/ideaConfiguration/configurationIdea_IJ2017_3/main.kt

// warning: org.jetbrains.kotlin.idea.inspections.RedundantVisibilityModifierInspection
// idea.version = ideaIC:2017.3

public val x = 42

public val y = 13

// :4:1: Redundant visibility modifier
// :6:1: Redundant visibility modifier