@Override
    public void visitPatternVariable(@NotNull PsiPatternVariable variable) {
      super.visitPatternVariable(variable);
      if (reportPatternVariables && variable.hasModifierProperty(PsiModifier.FINAL)) {
        registerModifierError(PsiModifier.FINAL, variable, variable);
      }
    }
@Override
    public void visitPatternVariable(@NotNull PsiPatternVariable variable)