Module types
Source - LocalInfo
- Metadata tracked for each MIR local.
- MirAggregateArg
- Single aggregate construction argument with explicit ownership mode.
- MirCallArg
- Single call argument with explicit ownership mode.
- MirCallArgBinding
- Shared call-argument query object used by validation and backends.
- MirEnumDecl
- Enum declaration retained for backend aggregate emission.
- MirEnumVariant
- Enum variant declaration for a MIR enum type.
- MirStructDecl
- Struct declaration retained for backend aggregate emission.
- MirStructField
- Named field declaration for a MIR struct type.
- LocalKind
- Local provenance category.
- MirArgMode
- Ownership mode used at MIR call sites.
- MirHeapOwnership
- Heap ownership policy carried by one MIR local.
- MirIntrinsic
- Builtin intrinsic operation invoked directly by generated code.
- MirLocalRepr
- Runtime/storage representation tracked for one MIR local.
- MirOwnershipMode
- Ownership mode carried into MIR from source function signatures.
- MirTypeExpr
- Type syntax retained in MIR for emitted aggregate declarations.
- infer_heap_ownership
- Infer heap ownership policy from one local type and representation.