testing/testData/ideaConfiguration/configurationIdea_IJ2018_1/main.kt

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

public val x = 42

public val y = 13

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