Trait SmirTypingEnv

Source
pub trait SmirTypingEnv<'tcx> {
    // Required method
    fn fully_monomorphized(&self) -> TypingEnv<'tcx>;
}

Required Methods§

Implementors§

Source§

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