kotlin/compiler/testData/compileJavaAgainstKotlin/staticFields/staticTraitProperty.java

class staticTraitProperty {

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