Skip to main content

Module diagnostics

hir_ty::infer

Module diagnostics 

Source
Expand description

This file contains the Diagnostics type used during inference, and a wrapper around TyLoweringContext (InferenceTyLoweringContext) that replaces it and takes care of diagnostics in inference.

Structs§

Diagnostics 🔒
InferenceTyLoweringContext 🔒
InferenceTyLoweringVarsCtx 🔒
PathDiagnosticCallbackData 🔒