hax_frontend_exporter::state

Trait HasTy

Source 
pub trait HasTy<'tcx> {
    // Required method
    fn ty(&self) -> Ty<'tcx>;
}

Required Methods§

Source

fn ty(&self) -> Ty<'tcx>

Implementors§

Source§

impl<'tcx, Base, OwnerId, Thir, Mir, Binder> HasTy<'tcx> for State<Base, OwnerId, Thir, Mir, Binder, Ty<'tcx>>