Trait AliasAnalysis 

pub trait AliasAnalysis: Analysis {
    // Required methods
    fn get_fn_alias(&self, def_id: DefId) -> Option<FnAliasPairs>;
    fn get_all_fn_alias(&self) -> FnAliasMap;

    // Provided method
    fn get_local_fn_alias(&self) -> FnAliasMap { ... }
}

This trait provides features related to alias analysis.

Required Methods

fn get_fn_alias(&self, def_id: DefId) -> Option<FnAliasPairs>

Return the aliases among the function arguments and return value of a specific function.

fn get_all_fn_alias(&self) -> FnAliasMap

Return the aliases among the function arguments and return value for all functions.

Provided Methods

fn get_local_fn_alias(&self) -> FnAliasMap

Return the aliases among the function arguments and return value for functions of the local crate.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> AliasAnalysis for AliasAnalyzer<'tcx>

impl<'tcx> AliasAnalysis for MfpAliasAnalyzer<'tcx>