// warning: RedundantVisibilityModifier
// idea.version = ideaIU:2017.3

public val x = 42

public val y = 13

// FAIL: RunnerException: Using of IDEA Ultimate is not yet supported in inspection runner