pub fn try_monomorphize<'tcx, 'a, T>( inst: Instance<'tcx>, tcx: TyCtxt<'tcx>, typing_env: TypingEnv<'tcx>, t: &'a T, span: Span, ) -> Result<T, ErrorGuaranteed>where T: TypeFoldable<TyCtxt<'tcx>> + Clone + Debug,
The “canonical” way we monomorphize