Trait hax_frontend_exporter::ExprKindExt

pub trait ExprKindExt<'tcx> {
    // Required methods
    fn hir_id_and_attributes<S: ExprState<'tcx>>(
        &self,
        s: &S,
    ) -> (Option<HirId>, Vec<Attribute>);
    fn unroll_scope<S: IsState<'tcx> + HasThir<'tcx>>(
        &self,
        s: &S,
    ) -> Expr<'tcx>;
}

Required Methods

fn hir_id_and_attributes<S: ExprState<'tcx>>( &self, s: &S, ) -> (Option<HirId>, Vec<Attribute>)

fn unroll_scope<S: IsState<'tcx> + HasThir<'tcx>>(&self, s: &S) -> Expr<'tcx>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> ExprKindExt<'tcx> for Expr<'tcx>

fn hir_id_and_attributes<S: ExprState<'tcx>>( &self, s: &S, ) -> (Option<HirId>, Vec<Attribute>)

fn unroll_scope<S: IsState<'tcx> + HasThir<'tcx>>(&self, s: &S) -> Expr<'tcx>

Implementors