Trait SmirExistentialProjection

Source
pub(crate) trait SmirExistentialProjection<'tcx> {
    // Required method
    fn new_from_args(
        &self,
        def_id: DefId,
        args: GenericArgsRef<'tcx>,
        term: Term<'tcx>,
    ) -> ExistentialProjection<'tcx>;
}

Required Methods§

Source

fn new_from_args( &self, def_id: DefId, args: GenericArgsRef<'tcx>, term: Term<'tcx>, ) -> ExistentialProjection<'tcx>

Implementors§

Source§

impl<'tcx, T: InternalCx<'tcx>> SmirExistentialProjection<'tcx> for T