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