static HighlightInfo.Builder checkRecordComponentInitialized(@NotNull PsiRecordComponent component) {
    PsiClass aClass = component.getContainingClass();
    if (aClass == null) return null;
    PsiIdentifier identifier = component.getNameIdentifier();
    if (identifier == null) return null;
    PsiMethod canonicalConstructor = JavaPsiRecordUtil.findCanonicalConstructor(aClass);
    if (canonicalConstructor == null || canonicalConstructor instanceof LightRecordCanonicalConstructor) return null;
    if (JavaPsiRecordUtil.isCompactConstructor(canonicalConstructor)) return null;
    PsiCodeBlock body = canonicalConstructor.getBody();
    if (body == null) return null;
    PsiField field = JavaPsiRecordUtil.getFieldForComponent(component);
    if (field == null) return null;
    if (variableDefinitelyAssignedIn(field, body)) return null;
    String description = JavaErrorBundle.message("record.component.not.initialized", field.getName());
    return HighlightInfo.newHighlightInfo(HighlightInfoType.ERROR).range(identifier).descriptionAndTooltip(description);
  }
static HighlightInfo.Builder checkRecordComponentInitialized(@NotNull PsiRecordComponent component)