@Override
    public @Nullable PsiModifierList getModifierList() {
      PsiRecordComponent recordComponent = getRecordComponent();
      if (recordComponent == null) return super.getModifierList();

      return new LightRecordComponentModifierList(this, getPrototype(), recordComponent);
    }
@Override
    public @Nullable PsiModifierList getModifierList()