e4d85ac527
Properties are only allowed to be declared in a header class' primary constructor if that class is an annotation class. However, we did not correctly determine that such properties are also "header". The test passed because the diagnostic was lost