Struct FileShape 

pub struct FileShape {
    pub file_path: Arc<str>,
    pub type_defs: Box<[TypeDefSite]>,
    pub inherent_impls: Box<[InherentImplSite]>,
    pub cfg_gated_modules: Box<[CfgGatedModule]>,
}

The slice of a file’s IR that whole-crate checks need.

This is a projection, not a copy: only type definition sites, per-type inherent-impl footprints, and #[cfg]-gated mod declarations survive, so the project pass never holds a FileIr and never re-parses a file.

Fields

file_path: Arc<str>

Path of the file this shape was projected from.

type_defs: Box<[TypeDefSite]>

Every struct, enum, union, and trait defined in this file.

inherent_impls: Box<[InherentImplSite]>

Per-type, per-predicate-set inherent-impl footprints.

cfg_gated_modules: Box<[CfgGatedModule]>

mod declarations in this file carrying a #[cfg(…)].

Trait Implementations

impl Clone for FileShape

fn clone(&self) -> FileShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileShape

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

Formats the value using the given formatter.