@Override
  public @NotNull PsiDeconstructionList getDeconstructionList() {
    PsiDeconstructionList recordStructurePattern =
      (PsiDeconstructionList)findPsiChildByType(JavaElementType.DECONSTRUCTION_LIST);
    assert recordStructurePattern != null; // guaranteed by parser
    return recordStructurePattern;
  }
@Override
  public @NotNull PsiDeconstructionList getDeconstructionList()