pub fn probe_root(&mut self, vid: ty::TyVid) -> Option<Ty<'tcx>> {
        debug_assert!(self.root_var(vid) == vid);
        match self.values.get(vid.index as usize).value {
            Bounded { .. } => None,
            Known(t) => Some(t)
        }
    }
/// Retrieves the type of `vid` given that it is currently a root in the unification table
Retrieves the type of `vid` given that it is currently a root in the unification table
Retrieves the type of ` vid ` given that it is currently a root in the unification table
pub fn probe_root(&mut self, vid: ty::TyVid) -> Option<Ty<'tcx>> {
        debug_assert!(self.root_var(vid) == vid);
        match self.values.get(vid.index as usize).value {
            Bounded { .. } => None,
            Known(t) => Some(t)
        }
    }
pub fn probe_root ( & mut self , vid : ty :: TyVid ) -> Option < Ty < ' tcx > > { debug_assert ! ( self root_var ( vid ) vid ) ; match self . values . get ( vid . index as usize ) . value { Bounded { .. } => None , Known ( t ) => Some ( t ) } }
Retrieves the type of `vid` given that it is currently a root in the unification table
Retrieves the type of ` vid ` given that it is currently a root in the unification table
&mut self
vid
ty::TyVid
&mut self
vid
ty::TyVid