Skip to main content

Module validation

Module validation 

Source
Expand description

Central validation diagnostics for generation inputs and backend readiness.

Validation should happen between config/extraction resolution and backend emission. This module provides the shared diagnostic shape; individual validators can stay close to the subsystem they understand while returning structured reports here.

Structs§

ValidatedApiSurface
Borrowed API surface that has passed central validation.
ValidationDiagnostic
One structured validation issue.
ValidationReport
Collected validation diagnostics.

Enums§

ValidationCode
Stable validation diagnostic code.
ValidationSeverity
Validation severity.

Functions§

is_critical_unsuppressible
Diagnostics that are never safe to suppress globally.
validate_api_surface
Validate the extracted public API surface before backend generation.
validate_api_surface_with_bridged_traits
Validate the extracted public API surface before backend generation, allowing excluded-type substitution only for traits with explicit bridge config.