@NotNull
  static HighlightInfo.Builder createPatternIsNotExhaustiveError(@NotNull PsiDeconstructionPattern pattern,
                                                                 @NotNull PsiType patternType,
                                                                 @NotNull PsiType itemType) {
    String description = JavaErrorBundle.message("pattern.is.not.exhaustive", JavaHighlightUtil.formatType(patternType),
                                                 JavaHighlightUtil.formatType(itemType));
    return HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR).range(pattern).descriptionAndTooltip(description);
  }
@NotNull
  static HighlightInfo.Builder createPatternIsNotExhaustiveError(@NotNull PsiDeconstructionPattern pattern,
                                                                 @NotNull PsiType patternType,
                                                                 @NotNull PsiType itemType)