pub trait StructurallyNormalizeExt<'tcx> {
// Required methods
fn structurally_normalize<E: 'tcx>(
&self,
ty: Ty<'tcx>,
fulfill_cx: &mut dyn TraitEngine<'tcx, E>,
) -> Result<Ty<'tcx>, Vec<E>>;
fn structurally_normalize_const<E: 'tcx>(
&self,
ct: Const<'tcx>,
fulfill_cx: &mut dyn TraitEngine<'tcx, E>,
) -> Result<Const<'tcx>, Vec<E>>;
}Required Methods§
fn structurally_normalize<E: 'tcx>( &self, ty: Ty<'tcx>, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, ) -> Result<Ty<'tcx>, Vec<E>>
fn structurally_normalize_const<E: 'tcx>( &self, ct: Const<'tcx>, fulfill_cx: &mut dyn TraitEngine<'tcx, E>, ) -> Result<Const<'tcx>, Vec<E>>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.