Struct FileInference 

pub struct FileInference {
    pub tree: Arc<ItemTree>,
    pub units: Vec<Unit>,
    pub diagnostics: Vec<Diagnostic>,
}

The full single-file inference: the item tree, every inferred unit, and the merged §5 diagnostics. The whole-file entry point the IDE layer consumes.

Fields

tree: Arc<ItemTree>

The lowered item tree.

units: Vec<Unit>

The inferred function/field units.

diagnostics: Vec<Diagnostic>

All type diagnostics, merged across units.

Implementations

impl FileInference

pub fn unit_at(&self, offset: u32) -> Option<&Unit>

The innermost unit whose range contains offset.

Trait Implementations

impl Clone for FileInference

fn clone(&self) -> FileInference

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileInference

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

Formats the value using the given formatter.

impl Default for FileInference

fn default() -> FileInference

Returns the “default value” for a type.

impl Eq for FileInference

impl PartialEq for FileInference

fn eq(&self, other: &FileInference) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FileInference