compiler/testData/compileJavaAgainstKotlin/staticFields/staticTraitProperty.java

package test;

class staticTraitProperty {

    public static void main(String[] args) {
        int i = Test.valProp;
    }
}