`papyri.error_collector:DiagnosticSpec`

source: /papyri/error_collector.py:75

Signature

class DiagnosticSpec(code: str, default_severity: Severity, description: str, infer_only: bool = False) → None

Members

__delattr__
__eq__
__hash__
__init__
__repr__
__setattr__

Summary

A stable diagnostic code, its default severity, and a description.

Extended Summary

infer_only marks diagnostics that can only fire when type inference is enabled (papyri gen without --no-infer); documented so the default-severity table is honest about which codes are unreachable under --no-infer.

Aliases

papyri.error_collector.DiagnosticSpec