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