hax_frontend_exporter::state

Trait HasThir

Source 
pub trait HasThir<'tcx> {
    // Required method
    fn thir(&self) -> RcThir<'tcx>;
}

Required Methods§

Source

fn thir(&self) -> RcThir<'tcx>

Implementors§

Source§

impl<'tcx, Base, OwnerId, Mir, Binder, Ty> HasThir<'tcx> for State<Base, OwnerId, RcThir<'tcx>, Mir, Binder, Ty>