1 //! `TypeVisitable` implementations for MIR types
6 impl<'tcx, R: Idx, C: Idx> TypeVisitable<'tcx> for BitMatrix<R, C> {
7 fn visit_with<V: TypeVisitor<'tcx>>(&self, _: &mut V) -> ControlFlow<V::BreakTy> {
12 impl<'tcx> TypeVisitable<'tcx> for mir::UnevaluatedConst<'tcx> {
13 fn visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
14 visitor.visit_mir_unevaluated(*self)
18 impl<'tcx> TypeSuperVisitable<'tcx> for mir::UnevaluatedConst<'tcx> {
19 fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
20 self.substs.visit_with(visitor)
24 impl<'tcx> TypeVisitable<'tcx> for ConstantKind<'tcx> {
25 fn visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
26 visitor.visit_mir_const(*self)
30 impl<'tcx> TypeSuperVisitable<'tcx> for ConstantKind<'tcx> {
31 fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> ControlFlow<V::BreakTy> {
33 ConstantKind::Ty(c) => c.visit_with(visitor),
34 ConstantKind::Val(_, t) => t.visit_with(visitor),
35 ConstantKind::Unevaluated(uv, t) => {
36 uv.visit_with(visitor)?;