hax_frontend_exporter::body

Module module

source

Re-exports§

Modules§

Structs§

  • A DefId identifies a particular definition, by combining a crate index and a def index.
  • A LocalDefId is equivalent to a DefId with krate == LOCAL_CRATE. Since we encode this information in the type, we can ensure at compile time that no DefIds from upstream crates get thrown into the mix. There are quite a few cases where we know that only DefIds from the local crate are expected; a DefId from a different crate would signify a bug somewhere. This is when LocalDefId comes in handy.

Traits§

Functions§