Module item_ids 

Macros

convert_item_ref 🔒

wrap_unwrap_enum 🔒

Implement TryFrom and From to convert between an enum and its variants.

Structs

BuiltinIndexOp

One of 8 built-in indexing operations.

DeclRef

A generic *DeclRef-shaped struct, used when we’re generic over the type of item.

FnPtr

Reference to a function, possibly indirected via a trait.

FunDeclId

FunDeclRef

Reference to a function declaration.

GlobalDeclId

GlobalDeclRef

Reference to a global declaration.

MaybeBuiltinFunDeclRef

Reference to a function, possibly indirected via a trait. Used to convert from DeclRef.

TraitDeclId

TraitDeclRef

A predicate of the form Type: Trait<Args>.

TraitImplId

TraitImplRef

A reference to a tait impl, using the provided arguments.

TypeDeclId

TypeDeclRef

Reference to a type declaration or builtin type.

Enums

AssocItemId

The id of an associated item within a trait.

BuiltinFunId

A built-in function, representing a specific built-in function that’s part of the LLBC semantics.

FnPtrKind

FunId

A regular or builtin function.

ItemId

The id of a translated item.

MaybeAssocItemId

The id of a translated item or associated item definition.

TypeId

Type identifier.