Function _pyright_errors

scripts/check_min_deps.py:338–365

Extract error diagnostics from a pyright JSON report. Args: report: The parsed ``--outputjson`` document. Returns: A mapping from a stable diagnostic key (file, line, character, message) to a formatted, human-readable display line.

(report: dict)

def _pyright_errors(report: dict) -> dict[tuple[str, int, int, str], str]:
    """Extract error diagnostics from a pyright JSON report.

    Args:
        report: The parsed ``--outputjson`` document.

    Returns:
        A mapping from a stable diagnostic key (file, line, character, message) to a
        formatted, human-readable display line.
    """
    errors: dict[tuple[str, int, int, str], str] = {}
    for diagnostic in report.get("generalDiagnostics", []):
        if diagnostic.get("severity") != "error":
            continue
        start = diagnostic.get("range", {}).get("start", {})
        if "line" not in start or "character" not in start:
            continue
        key = (
            diagnostic["file"],
            start["line"],
            start["character"],
            diagnostic["message"],
        )
        errors[key] = (
            f"{diagnostic['file']}:{start['line'] + 1}:{start['character'] + 1}"
            f" - error: {diagnostic['message']}"
        )
    return errors


def _resolve_and_check(