Trait PlaceExt

pub trait PlaceExt<'tcx> {
    // Required method
    fn simple_overlaps(self, other: Place<'tcx>) -> Overlap<'tcx>;
}

Extension trait for Places so we can implement methods on them. Self is only ever supposed to be instantiated as Place.

Required Methods

fn simple_overlaps(self, other: Place<'tcx>) -> Overlap<'tcx>

Implementations on Foreign Types

impl<'tcx> PlaceExt<'tcx> for Place<'tcx>

fn simple_overlaps(self, other: Place<'tcx>) -> Overlap<'tcx>

Implementors