Trait SmirTypingEnv

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

Required Methods

fn fully_monomorphized(&self) -> TypingEnv<'tcx>

Implementors

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