Trait SmirTraitRef

Source
pub(crate) trait SmirTraitRef<'tcx> {
    // Required method
    fn new_from_args(
        &self,
        trait_def_id: DefId,
        args: GenericArgsRef<'tcx>,
    ) -> TraitRef<'tcx>;
}

Required Methods§

Source

fn new_from_args( &self, trait_def_id: DefId, args: GenericArgsRef<'tcx>, ) -> TraitRef<'tcx>

Implementors§

Source§

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