@Override
  public void visitReceiverParameter(@NotNull PsiReceiverParameter parameter) {
    super.visitReceiverParameter(parameter);
    if (!hasErrorResults()) add(checkFeature(parameter, JavaFeature.RECEIVERS));
    if (!hasErrorResults()) add(AnnotationsHighlightUtil.checkReceiverPlacement(parameter));
    if (!hasErrorResults()) add(AnnotationsHighlightUtil.checkReceiverType(parameter));
  }
@Override
  public void visitReceiverParameter(@NotNull PsiReceiverParameter parameter)