@ApiStatus.Experimental
  @NotNull
  static RecordExhaustivenessResult checkRecordExhaustiveness(@NotNull List<? extends PsiCaseLabelElement> elements,
                                                              @NotNull PsiType selectorType,
                                                              @NotNull PsiElement context) {
    return checkRecordPatternExhaustivenessForDescription(preparePatternDescription(elements), selectorType, context);
  }
@ApiStatus.Experimental
  @NotNull
  static RecordExhaustivenessResult checkRecordExhaustiveness(@NotNull List<? extends PsiCaseLabelElement> elements,
                                                              @NotNull PsiType selectorType,
                                                              @NotNull PsiElement context)