PVL frontend generates permissions over final fields in implicit constructor

[bobismijnnaam]

On dev, the following input:

class C {
  final int x;
}

Yields:

======================================
At finalPerm.pvl:2:1:
--------------------------------------
    1
      [-----------
    2  class C {
    3    final int x;
    4  }
       -]
    5
    6
--------------------------------------
Specifying permission over final fields is not allowed, since they are treated as constants.
======================================

The error goes away if you specify an explicit constructor without permissions. I'm guessing permissions get generated for the final fields, where this should actually not happen.