Trait move_stackless_bytecode::access_path::FootprintDomain

source · [−]
pub trait FootprintDomain: AbstractDomain + Clone + Debug + PartialEq + Sized {
    fn make_footprint(ap: AccessPath) -> Option<Self>;
}
Expand description

Trait for an abstract domain that can represent footprint values

Required Methods

Create a footprint value for access path ap

Implementations on Foreign Types

Implementors