pub trait LiftInto<J>: Interner<BoundVarKinds: Lift<J, Lifted = J::BoundVarKinds>, Const: Lift<J, Lifted = J::Const>, DefId: Lift<J, Lifted = J::DefId>, FreeConstAliasId: Lift<J, Lifted = J::FreeConstAliasId>, FreeTyAliasId: Lift<J, Lifted = J::FreeTyAliasId>, GenericArg: Lift<J, Lifted = J::GenericArg>, GenericArgs: Lift<J, Lifted = J::GenericArgs>, InherentAssocConstId: Lift<J, Lifted = J::InherentAssocConstId>, InherentAssocTyId: Lift<J, Lifted = J::InherentAssocTyId>, OpaqueTyId: Lift<J, Lifted = J::OpaqueTyId>, ParamEnv: Lift<J, Lifted = J::ParamEnv>, PatList: Lift<J, Lifted = J::PatList>, Region: Lift<J, Lifted = J::Region>, RegionAssumptions: Lift<J, Lifted = J::RegionAssumptions>, Symbol: Lift<J, Lifted = J::Symbol>, Term: Lift<J, Lifted = J::Term>, TraitAssocConstId: Lift<J, Lifted = J::TraitAssocConstId>, TraitAssocTermId: Lift<J, Lifted = J::TraitAssocTermId>, TraitAssocTyId: Lift<J, Lifted = J::TraitAssocTyId>, TraitId: Lift<J, Lifted = J::TraitId>, Ty: Lift<J, Lifted = J::Ty>, Tys: Lift<J, Lifted = J::Tys>, UnevaluatedConstId: Lift<J, Lifted = J::UnevaluatedConstId>>where
J: Interner,{ }Expand description
An interner whose associated types can be lifted into another interner J.
These are associated type bounds rather than where clauses so a caller with
I: LiftInto<J> can rely on the individual associated type Lift bounds being
implied.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".