Searched defs:TypeVisitable (Results 1 – 5 of 5) sorted by relevance
54 pub trait TypeVisitable<I: Interner>: fmt::Debug + Clone { trait
445 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ty::AdtDef<'tcx> { impl516 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Ty<'tcx> { impl628 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ty::Region<'tcx> { impl653 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ty::Predicate<'tcx> { impl659 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ty::Clause<'tcx> { impl702 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ty::Const<'tcx> { impl765 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for InferConst<'tcx> { impl783 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for TyAndLayout<'tcx, Ty<'tcx>> { impl
233 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for GenericArg<'tcx> { impl
1020 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for Term<'tcx> { impl1745 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ParamEnv<'tcx> { impl
184 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ExternalConstraints<'tcx> { impl223 impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PredefinedOpaques<'tcx> { impl