]>
git.proxmox.com Git - rustc.git/blob - compiler/rustc_middle/src/mir/type_visitable.rs
1 //! `TypeVisitable` implementations for MIR types
5 impl<'tcx
, R
: Idx
, C
: Idx
> TypeVisitable
<'tcx
> for BitMatrix
<R
, C
> {
6 fn visit_with
<V
: TypeVisitor
<'tcx
>>(&self, _
: &mut V
) -> ControlFlow
<V
::BreakTy
> {
11 impl<'tcx
> TypeVisitable
<'tcx
> for ConstantKind
<'tcx
> {
12 fn visit_with
<V
: TypeVisitor
<'tcx
>>(&self, visitor
: &mut V
) -> ControlFlow
<V
::BreakTy
> {
13 visitor
.visit_mir_const(*self)
17 impl<'tcx
> TypeSuperVisitable
<'tcx
> for ConstantKind
<'tcx
> {
18 fn super_visit_with
<V
: TypeVisitor
<'tcx
>>(&self, visitor
: &mut V
) -> ControlFlow
<V
::BreakTy
> {
20 ConstantKind
::Ty(c
) => c
.visit_with(visitor
),
21 ConstantKind
::Val(_
, t
) => t
.visit_with(visitor
),
22 ConstantKind
::Unevaluated(uv
, t
) => {
23 uv
.visit_with(visitor
)?
;