Searched defs:TypeFoldable (Results 1 – 6 of 6) sorted by relevance
31 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx [InlineAsmTemplatePiece] { impl40 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx [Span] { impl49 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<PlaceElem<'tcx>> { impl
489 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<ty::PolyExistentialPredicate<'tcx>> { impl498 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<ty::Const<'tcx>> { impl507 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Ty<'tcx> { impl619 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ty::Region<'tcx> { impl634 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ty::Predicate<'tcx> { impl644 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ty::Clause<'tcx> { impl684 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<ty::Clause<'tcx>> { impl693 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ty::Const<'tcx> { impl756 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for InferConst<'tcx> { impl
220 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for GenericArg<'tcx> { impl461 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for SubstsRef<'tcx> { impl496 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for &'tcx ty::List<Ty<'tcx>> { impl
1011 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for Term<'tcx> { impl1732 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ParamEnv<'tcx> { impl
54 pub trait TypeFoldable<I: Interner>: TypeVisitable<I> { interface
161 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ExternalConstraints<'tcx> { impl200 impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for PredefinedOpaques<'tcx> { impl