Struct DefaultOwnership 

pub struct DefaultOwnership<'tcx, 'a> {
    tcx: TyCtxt<'tcx>,
    unique: HashSet<DefId>,
    ref_adt_heap: &'a HeapOwnershipResultMap,
    res: HeapOwnership,
    param: bool,
    ptr: bool,
}

Fields

tcx: TyCtxt<'tcx>

unique: HashSet<DefId>

ref_adt_heap: &'a HeapOwnershipResultMap

res: HeapOwnership

param: bool

ptr: bool

Implementations

impl<'tcx, 'a> DefaultOwnership<'tcx, 'a>

pub fn new(tcx: TyCtxt<'tcx>, ref_adt_heap: &'a HeapOwnershipResultMap) -> Self

pub fn tcx(&self) -> TyCtxt<'tcx>

pub fn unique(&self) -> &HashSet<DefId>

pub fn unique_mut(&mut self) -> &mut HashSet<DefId>

pub fn get_res(&self) -> HeapOwnership

pub fn set_res(&mut self, res: HeapOwnership)

pub fn is_owning_true(&self) -> bool

pub fn get_param(&self) -> bool

pub fn set_param(&mut self, p: bool)

pub fn is_param_true(&self) -> bool

pub fn get_ptr(&self) -> bool

pub fn set_ptr(&mut self, p: bool)

pub fn is_ptr_true(&self) -> bool

pub fn heap(&self) -> &'a HeapOwnershipResultMap

Trait Implementations

impl<'tcx, 'a> Clone for DefaultOwnership<'tcx, 'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx, 'a> TypeVisitor<TyCtxt<'tcx>> for DefaultOwnership<'tcx, 'a>

type Result = ControlFlow<()>

fn visit_ty(&mut self, ty: Ty<'tcx>) -> Self::Result

fn visit_binder<T>(&mut self, t: &Binder<I, T>) -> Self::Result

where T: TypeVisitable<I>,

fn visit_region(&mut self, r: Region<I>) -> Self::Result

fn visit_const(&mut self, c: Const<I>) -> Self::Result

fn visit_predicate<P>(&mut self, p: P) -> Self::Result

where P: PredicateProxy<I>,

fn visit_clauses(&mut self, c: <I as Interner>::Clauses) -> Self::Result

fn visit_error( &mut self, _guar: <I as Interner>::ErrorGuaranteed, ) -> Self::Result