Module manifest 

Offload manifest: communicates required generic kernel instantiations between host-metadata and device compilation passes.

Uses TyEncoder/TyDecoder to serialize ty::Instance. DefIds are encoded as (crate name, DefPath) pairs for stability.

Structs

OffloadManifestDecoder 🔒

Decoder used to read the offload monomorphization manifest.

OffloadManifestEncoder 🔒

Constants

UNRESOLVED_DEF_ID 🔒

Functions

read_manifest 🔒

Read a list of offload kernel instances from the manifest file.

write_host_metadata_offload_manifest

Write out the offload host-metadata manifest for mono_items. No-op unless the session was invoked with -Zoffload=HostMetadata=<path>.

write_manifest 🔒

Write a list of offload kernel instances to the manifest file.