Method note_for_info

mypy/errors.py:697–728

Generate an additional note for an existing ErrorInfo. This skip the logic in add_error_info() and goes to _add_error_info().

(
        self,
        file: str,
        info: ErrorInfo,
        message: str,
        code: ErrorCode | None,
        *,
        only_once: bool = False,
        priority: int = 0,
    )

            self.seen_import_error = True

    def note_for_info(
        self,
        file: str,
        info: ErrorInfo,
        message: str,
        code: ErrorCode | None,
        *,
        only_once: bool = False,
        priority: int = 0,
    ) -> None:
        """Generate an additional note for an existing ErrorInfo.

        This skip the logic in add_error_info() and goes to _add_error_info().
        """
        info = ErrorInfo(
            import_ctx=info.import_ctx,
            local_ctx=info.local_ctx,
            line=info.line,
            column=info.column,
            end_line=info.end_line,
            end_column=info.end_column,
            severity="note",
            message=message,
            code=code,
            blocker=False,
            only_once=only_once,
            module=info.module,
            target=info.target,
            origin_span=info.origin_span,
            priority=priority,
        )
        self._add_error_info(file, info)

    def report_simple_error(
        self, file: str, line: int, message: str, code: ErrorCode | None