Trait SmirTy

Source
pub trait SmirTy<'tcx> {
    // Required method
    fn new_foreign(&self, def_id: DefId) -> Ty<'tcx>;
}

Required Methods§

Source

fn new_foreign(&self, def_id: DefId) -> Ty<'tcx>

Implementors§

Source§

impl<'tcx, B: Bridge> SmirTy<'tcx> for SmirCtxt<'tcx, B>