Trait AliasOracle 

pub trait AliasOracle<D, Q> {
    // Required method
    fn may_alias(&self, definition: &D, query: &Q) -> bool;
}

Alias policy supplied by a client. The definition identity is the graph payload; effects and query representation remain outside MemorySSA.

Required Methods

fn may_alias(&self, definition: &D, query: &Q) -> bool

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<D, Q, F> AliasOracle<D, Q> for F

where F: Fn(&D, &Q) -> bool,