Trait PlaceExt

pub trait PlaceExt {
    // Required methods
    fn ty(
        &self,
        genv: GlobalEnv<'_, '_>,
        local_decls: &LocalDecls,
    ) -> QueryResult<PlaceTy>;
    fn behind_raw_ptr(
        &self,
        genv: GlobalEnv<'_, '_>,
        local_decls: &LocalDecls,
    ) -> QueryResult<bool>;
}

Required Methods

fn ty( &self, genv: GlobalEnv<'_, '_>, local_decls: &LocalDecls, ) -> QueryResult<PlaceTy>

fn behind_raw_ptr( &self, genv: GlobalEnv<'_, '_>, local_decls: &LocalDecls, ) -> QueryResult<bool>

Implementations on Foreign Types

impl PlaceExt for Place

fn ty( &self, genv: GlobalEnv<'_, '_>, local_decls: &LocalDecls, ) -> QueryResult<PlaceTy>

fn behind_raw_ptr( &self, genv: GlobalEnv<'_, '_>, local_decls: &LocalDecls, ) -> QueryResult<bool>

Implementors