Module convert

This module holds the logic to convert rustc internal ADTs into stable mir ADTs.

The conversion from stable to internal is not meant to be complete, and it should be added as when needed to be passed as input to rustc_smir functions.

For contributors, please make sure to avoid calling rustc’s internal functions and queries. These should be done via rustc_smir APIs, but it’s possible to access ADT fields directly.

Modules

internal 🔒

Module containing the translation from stable mir constructs to the rustc counterpart.

stable 🔒

Conversion of internal Rust compiler items to stable ones.