Struct EncodedSourceFileId 

pub(crate) struct EncodedSourceFileId {
    pub(crate) stable_source_file_id: StableSourceFileId,
    pub(crate) stable_crate_id: StableCrateId,
}

From CREUSOT: used to store the info about source files An EncodedSourceFileId is the same as a StableSourceFileId except that the source crate is represented as a StableCrateId instead of as a CrateNum. This way EncodedSourceFileId can be encoded and decoded without any additional context, i.e. with a simple opaque::Decoder (which is the only thing available when decoding the Footer.

Fields

stable_source_file_id: StableSourceFileId

stable_crate_id: StableCrateId

Implementations

impl EncodedSourceFileId

pub(crate) fn new(tcx: TyCtxt<'_>, file: &SourceFile) -> EncodedSourceFileId

Trait Implementations

impl Clone for EncodedSourceFileId

fn clone(&self) -> EncodedSourceFileId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EncodedSourceFileId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<__D: SpanDecoder> Decodable<__D> for EncodedSourceFileId

fn decode(__decoder: &mut __D) -> Self

impl<__E: SpanEncoder> Encodable<__E> for EncodedSourceFileId

fn encode(&self, __encoder: &mut __E)